Updates

[repair.git] / Repair / RepairCompiler / MCC / IR / DNFPredicate.java

diff --git a/Repair/RepairCompiler/MCC/IR/DNFPredicate.java b/Repair/RepairCompiler/MCC/IR/DNFPredicate.java
new file mode 100755 (executable)
index 0000000..2328bfc
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/IR/DNFPredicate.java
@@ -0,0 +1,21 @@
+package MCC.IR;
+
+public class DNFPredicate {
+    boolean negate;
+    Predicate predicate;
+
+    public DNFPredicate(DNFPredicate dp) {
+       this.negate=dp.negate;
+       this.predicate=dp.predicate;
+    }
+    Predicate getPredicate() {
+       return predicate;
+    }
+    public DNFPredicate(boolean negate,Predicate predicate) {
+       this.negate=negate;
+       this.predicate=predicate;
+    }
+    void negatePred() {
+       negate=!negate;
+    }
+}