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);
29 class PredicateTable : public Predicate {
31 PredicateTable(Table *table, UndefinedBehavior undefBehavior);
32 Predicate *clone(CSolver *solver, CloneMap *map);
34 UndefinedBehavior undefinedbehavior;