Repair/RepairInterpreter/ActionNormal.h

   1 #ifndef ActionNormal_H
   2 #define ActionNormal_H
   3 #include "classlist.h"
   4 #include "Action.h"
   5 class ActionNormal:public Action {
   6  public:
   7   ActionNormal(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