//////////////////////////////////////////////////////////////////////////////////////
public BitsetIntVarImpl(String name, int[] sortedValues, Solver solver) {
super(name, solver);
IEnvironment env = solver.getEnvironment();
OFFSET = sortedValues[0];
int capacity = sortedValues[sortedValues.length - 1] - OFFSET + 1;
this.VALUES = env.makeBitSet(capacity);
for (int i = 0; i < sortedValues.length; i++) {
this.VALUES.set(sortedValues[i] - OFFSET);
}
this.LB = env.makeInt(0);
this.UB = env.makeInt(capacity - 1);
this.SIZE = env.makeInt(VALUES.cardinality());
LENGTH = capacity;
}