5 Predicate* allocPredicate(CompOp op, Set ** domain, uint numDomain){
6 Predicate* predicate = (Predicate*) ourmalloc(sizeof(Predicate));
7 predicate->domains = allocDefVectorSet();
8 for(uint i=0; i<numDomain; i++)
9 pushVectorSet(predicate->domains,domain[i]);
14 void deletePredicate(Predicate* predicate){
15 deleteVectorSet(predicate->domains);