X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FDNFPredicate.java;h=cf7e16188507d55f6e954e437fa5b490e7b8b15e;hb=736802f62200c790c5df3e57bbeaba25ea54c3d4;hp=a1e5a65b45df55e3d71a4dc378f909d09cfb811b;hpb=818e376c5aeeeb458febe75f3d6273a94f3bcf7d;p=repair.git

diff --git a/Repair/RepairCompiler/MCC/IR/DNFPredicate.java b/Repair/RepairCompiler/MCC/IR/DNFPredicate.java
index a1e5a65..cf7e161 100755
--- 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;
     }