1 // handles prediate of the following forms: VE<E, VE<=E, VE=E, VE>=E, VE>E
8 class ActionAssign:public Action {
10 ActionAssign(DomainRelation *drel, model *);
11 void repairpredicate(Hashtable *env, CoercePredicate *p);
12 void breakpredicate(Hashtable *env, CoercePredicate *p);
13 bool conflict(Constraint *c1, CoercePredicate *p1,Constraint *c2, CoercePredicate *p2);
14 bool canrepairpredicate(CoercePredicate *p);
16 char * gettype(Constraint *c,Elementexpr *ee);