1 #ifndef ActionNotInSet_H
2 #define ActionNotInSet_H
5 class ActionNotInSet:public Action {
7 ActionNotInSet(DomainRelation *drel, model *);
8 void repairpredicate(Hashtable *env, CoercePredicate *p);
9 void breakpredicate(Hashtable *env, CoercePredicate *p);
10 bool conflict(Constraint *c1, CoercePredicate *p1,Constraint *c2, CoercePredicate *p2);
11 bool canrepairpredicate(CoercePredicate *p);