+class PredicateOperator : public Predicate {
+public:
+ PredicateOperator(CompOp op);
+ bool evalPredicateOperator(uint64_t *inputs);
+ Predicate *clone(CSolver *solver, CloneMap *map);
+ virtual void serialize(Serializer *serializer);
+ virtual void print();
+ CompOp getOp() {return op;}
+ CMEMALLOC;
+private: