Committing changes to leftsize->rightSize, more comments, and handling

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

diff --git a/Repair/RepairCompiler/MCC/IR/DNFExpr.java b/Repair/RepairCompiler/MCC/IR/DNFExpr.java
index ce039db35092ac86b0bf7d9a3303190e29530b9b..ac5d8be1a35ccc23b12f1b62b182c986e7665fc4 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/DNFExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/DNFExpr.java
@@ -16,4 +16,12 @@ public class DNFExpr {
     void negatePred() {
        negate=!negate;
     }
+
+    public Expr getExpr() {
+       return predicate;
+    }
+
+    public boolean getNegation() {
+       return negate;
+    }
 }