optimized works

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

diff --git a/Repair/RepairCompiler/MCC/IR/Constraint.java b/Repair/RepairCompiler/MCC/IR/Constraint.java
index 61f9b90a25376478fd2b8de1d10bfaa97c1a4416..852313a87d9b169ece1c110c9df229d92d2bcb08 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Constraint.java
+++ b/Repair/RepairCompiler/MCC/IR/Constraint.java
@@ -12,10 +12,17 @@ public class Constraint {
     Vector quantifiers = new Vector(); 
     LogicStatement logicstatement = null;
 
+    int num;
+
     public Constraint() {
+        num = count;
         label = new String("c" + count++);
     }
 
+    public int getNum() {
+        return num;
+    }
+
     public String getLabel() {
         return label;
     }