Repair/RepairInterpreter/ActionEQ1.h

   1 #ifndef ActionEQ1_H
   2 #define ActionEQ1_H
   3 #include "classlist.h"
   4 #include "ActionGEQ1.h"
   5 class ActionEQ1:public ActionGEQ1 {
   6  public:
   7   ActionEQ1(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);
  12  protected:
  13 };
  14 #endif