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 // size and result will be modified by this function!
29 void getEqualitySetIntersection(PredicateOperator* This, uint* size, uint64_t* result);
30 void deletePredicate(Predicate* This);