experiment with adding NULLITY predicate
[c11tester.git] / predicate.cc
index 77f362d..128ac3d 100644 (file)
@@ -5,7 +5,7 @@ Predicate::Predicate(FuncInst * func_inst, bool is_entry) :
        entry_predicate(is_entry),
        pred_expressions(),
        children(),
-       parents(),
+       parent(NULL),
        backedge(NULL)
 {}
 
@@ -37,12 +37,6 @@ void Predicate::add_child(Predicate * child)
        children.push_back(child);
 }
 
-void Predicate::add_parent(Predicate * parent)
-{
-       /* check duplication? */
-       parents.push_back(parent);
-}
-
 void Predicate::print_predicate()
 {
        model_print("\"%p\" [shape=box, label=\"\n", this);