8 #define GETPREDICATETYPE(o) (((Predicate *)(o))->type)
14 struct PredicateOperator {
20 struct PredicateTable {
23 UndefinedBehavior undefinedbehavior;
27 Predicate* allocPredicateOperator(CompOp op, Set ** domain, uint numDomain);
28 Predicate* allocPredicateTable(Table* table, UndefinedBehavior undefBehavior);
29 // size and result will be modified by this function!
30 void getEqualitySetIntersection(PredicateOperator* predicate, uint* size, uint64_t* result);
31 void deletePredicate(Predicate* predicate);