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