fix generation of graph files

[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..445e018270529983ba3aa5852e4e89572aa724b7 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Conjunction.java
+++ b/Repair/RepairCompiler/MCC/IR/Conjunction.java
@@ -9,9 +9,17 @@ public class Conjunction {
        predicates.add(pred);
     }
     Conjunction(Vector preds){
-       predicates=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();
     }