9 #define GETPREDICATETYPE(o) (((Predicate *)(o))->type)
13 Predicate(PredicateType _type) : type(_type) {}
14 virtual ~Predicate() {}
15 virtual Predicate *clone(CSolver *solver, CloneMap *map) {ASSERT(0); return NULL;}
20 class PredicateOperator : public Predicate {
22 PredicateOperator(CompOp op, Set **domain, uint numDomain);
23 bool evalPredicateOperator(uint64_t *inputs);
24 Predicate *clone(CSolver *solver, CloneMap *map);
30 class PredicateTable : public Predicate {
32 PredicateTable(Table *table, UndefinedBehavior undefBehavior);
33 Predicate *clone(CSolver *solver, CloneMap *map);
35 UndefinedBehavior undefinedbehavior;