bool evalPredicateOperator(uint64_t *inputs);
Predicate *clone(CSolver *solver, CloneMap *map);
virtual void serialize(Serializer* serializer);
- CompOp op;
Array<Set *> domains;
+ CompOp getOp() {return op;}
CMEMALLOC;
+ private:
+ CompOp op;
};
class PredicateTable : public Predicate {