5 class ActionGEQ1:public Action {
9 ActionGEQ1(DomainRelation *drel, model *);
10 void repairpredicate(Hashtable *env, CoercePredicate *p);
11 void breakpredicate(Hashtable *env, CoercePredicate *p);
12 bool conflict(Constraint *c1, CoercePredicate *p1,Constraint *c2, CoercePredicate *p2);
13 bool canrepairpredicate(CoercePredicate *p);