Example #1
0
 DisjointCondVar(Store S, RectangleWithCondition[] R) {
   value = new DisjointCondVarValue(R);
   index = S.putMutableVar(this);
   store = S;
 }
Example #2
0
 DisjointCondVar(Store S, Vector<RectangleWithCondition> R) {
   value = new DisjointCondVarValue();
   value.setValue(R);
   index = S.putMutableVar(this);
   store = S;
 }
Example #3
0
 DisjointCondVar(Store S) {
   DisjointCondVarValue val = new DisjointCondVarValue();
   value = val;
   index = S.putMutableVar(this);
   store = S;
 }