Repair/RepairInterpreter/ActionGEQ1.h

   1 #ifndef ActionGEQ1_H
   2 #define ActionGEQ1_H
   3 #include "classlist.h"
   4 #include "Action.h"
   5 class ActionGEQ1:public Action {
   6  public:
   7   ActionGEQ1() {
   8   }
   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);
  14  protected:
  15 };
  16 #endif