evil hack...need to fix arity scheme to match paper and remove this

diff --git a/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java b/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
index 84c2c26e83f37e487a1605e7b20b8d8a56d8c5a2..6b30e1ba94a033e529948a2e0c89aced0f730169 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
@@ -28,6 +28,7 @@ public class TokenTuple extends Canonical {
     token         = hrn.getID();
     isMultiObject = !hrn.isSingleObject();
     arity         = ARITY_ONE;
+    fixStuff();
   }
 
   public TokenTuple(Integer token,
@@ -38,6 +39,13 @@ public class TokenTuple extends Canonical {
     this.token         = token;
     this.isMultiObject = isMultiObject;
     this.arity         = arity;
+    fixStuff();
+  }
+
+  private void fixStuff() {
+    if (!isMultiObject) {
+       arity=ARITY_ONE;
+    }
   }