Repair/RepairInterpreter/ActionAssign.h

   1 // handles prediate of the following forms: VE<E, VE<=E, VE=E, VE>=E, VE>E
   2
   3
   4 #ifndef ActionAssign_H
   5 #define ActionAssign_H
   6 #include "classlist.h"
   7 #include "Action.h"
   8 class ActionAssign:public Action {
   9  public:
  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);
  15  private:
  16   char * gettype(Constraint *c,Elementexpr *ee);
  17 };
  18 #endif