*** empty log message ***

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

diff --git a/Repair/RepairCompiler/MCC/IR/Conjunction.java b/Repair/RepairCompiler/MCC/IR/Conjunction.java
index 82e115f5c481c04822556702c85fe7ce0488db78..90e1f0904625211872e879fe5e74f82de14ff509 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Conjunction.java
+++ b/Repair/RepairCompiler/MCC/IR/Conjunction.java
@@ -11,7 +11,15 @@ public class Conjunction {
     Conjunction(Vector preds){
        predicates=preds       ;
     }
-
+    String name() {
+       String name="";
+       for(int i=0;i<predicates.size();i++) {
+           name+=((DNFPredicate)predicates.get(i)).name();
+           if (i!=(predicates.size()-1))
+               name+="&&";
+       }
+       return name;
+    }
     int size() {
        return predicates.size();
     }