12 Predicate(PredicateType _type) : type(_type) {}
13 virtual ~Predicate() {}
14 virtual Predicate *clone(CSolver *solver, CloneMap *map) {ASSERT(0); return NULL;}
19 class PredicateOperator : public Predicate {
21 PredicateOperator(CompOp op, Set **domain, uint numDomain);
22 bool evalPredicateOperator(uint64_t *inputs);
23 Predicate *clone(CSolver *solver, CloneMap *map);
24 CompOp getOp() {return op;}
31 class PredicateTable : public Predicate {
33 PredicateTable(Table *table, UndefinedBehavior undefBehavior);
34 Predicate *clone(CSolver *solver, CloneMap *map);
36 UndefinedBehavior undefinedbehavior;