Repair/RepairInterpreter/ActionNotInSet.h

   1 #ifndef ActionNotInSet_H
   2 #define ActionNotInSet_H
   3 #include "classlist.h"
   4 #include "Action.h"
   5 class ActionNotInSet:public Action {
   6  public:
   7   ActionNotInSet(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  private:
  13 };
  14 #endif