Improved search....Updated filesystem model. Added -aggressivesearch option.

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

diff --git a/Repair/RepairCompiler/MCC/IR/DNFPredicate.java b/Repair/RepairCompiler/MCC/IR/DNFPredicate.java
index a1e5a65b45df55e3d71a4dc378f909d09cfb811b..cf7e16188507d55f6e954e437fa5b490e7b8b15e 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/DNFPredicate.java
+++ b/Repair/RepairCompiler/MCC/IR/DNFPredicate.java
@@ -15,6 +15,14 @@ public class DNFPredicate {
        this.negate=negate;
        this.predicate=predicate;
     }
+    String name() {
+       String name="";
+       if (this.negate)
+           name+="!";
+       name+=predicate.name();
+       return name;
+    }
+
     void negatePred() {
        negate=!negate;
     }