Polarity polarity;
BooleanValue boolVal;
Vector<Boolean *> parents;
-
+ virtual void updateParents() {}
+
CMEMALLOC;
};
Array<Element *> inputs;
BooleanEdge undefStatus;
FunctionEncoding *getFunctionEncoding() {return &encoding;}
+ void updateParents();
+
CMEMALLOC;
};
LogicOp op;
bool replaced;
Array<BooleanEdge> inputs;
+ void updateParents();
+
CMEMALLOC;
};
BooleanEdge cloneEdge(CSolver *solver, CloneMap *map, BooleanEdge e);