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