public:
BooleanPredicate(Predicate *_predicate, Element **_inputs, uint _numInputs, BooleanEdge _undefinedStatus);
Boolean *clone(CSolver *solver, CloneMap *map);
+ Predicate *getPredicate() {return predicate;}
+ FunctionEncoding *getFunctionEncoding() {return &encoding;}
+ void updateParents();
void serialize(Serializer *serializer );
+
+ CMEMALLOC;
Predicate *predicate;
FunctionEncoding encoding;
Array<Element *> inputs;
BooleanEdge undefStatus;
- FunctionEncoding *getFunctionEncoding() {return &encoding;}
- void updateParents();
-
- CMEMALLOC;
};
class BooleanLogic : public Boolean {