8 #define GETPREDICATETYPE(o) (((Predicate *)(o))->type)
14 struct PredicateOperator {
21 struct PredicateTable {
24 UndefinedBehavior undefinedbehavior;
28 Predicate* allocPredicate(CompOp op, Set ** domain, uint numDomain);
29 void deletePredicate(Predicate* predicate);