Moved the interpreter

[repair.git] / Repair / RepairInterpreter / ActionNotInSet.h

diff --git a/Repair/RepairInterpreter/ActionNotInSet.h b/Repair/RepairInterpreter/ActionNotInSet.h
new file mode 100755 (executable)
index 0000000..58e8117
--- /dev/null
+++ b/Repair/RepairInterpreter/ActionNotInSet.h
@@ -0,0 +1,14 @@
+#ifndef ActionNotInSet_H
+#define ActionNotInSet_H
+#include "classlist.h"
+#include "Action.h"
+class ActionNotInSet:public Action {
+ public:
+  ActionNotInSet(DomainRelation *drel, model *);
+  void repairpredicate(Hashtable *env, CoercePredicate *p);
+  void breakpredicate(Hashtable *env, CoercePredicate *p);
+  bool conflict(Constraint *c1, CoercePredicate *p1,Constraint *c2, CoercePredicate *p2);
+  bool canrepairpredicate(CoercePredicate *p);
+ private:
+};
+#endif