8 #define GETPREDICATETYPE(o) (((Predicate *)(o))->type)
14 struct PredicateOperator {
20 struct PredicateTable {
23 UndefinedBehavior undefinedbehavior;
26 Predicate *allocPredicateOperator(CompOp op, Set **domain, uint numDomain);
27 Predicate *allocPredicateTable(Table *table, UndefinedBehavior undefBehavior);
28 bool evalPredicateOperator(PredicateOperator *This, uint64_t *inputs);
29 void deletePredicate(Predicate *This);