Added needed comments, reorganized some code...

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

diff --git a/Repair/RepairCompiler/MCC/IR/Termination.java b/Repair/RepairCompiler/MCC/IR/Termination.java
index 57cf6c9d171055f47842b5d14029703cdbd61ddd..9f00c5b04611ee51dd02ebb952c9268d65741049 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Termination.java
+++ b/Repair/RepairCompiler/MCC/IR/Termination.java
@@ -1160,6 +1160,9 @@ public class Termination {
        return okay;
     }
 
+    /** This method sees if when the quantifiers listed in set are
+     *  fixed, whether there can be more than one unique binding for
+     *  the constraint or model definition rule qs.*/
     public boolean analyzeQuantifiers(Quantifiers qs,Set set) {
        for(int i=0;i<qs.numQuantifiers();i++) {
            Quantifier q=qs.getQuantifier(i);