public BitsetArrayIntVarImpl(String name, int[] sortedValues, Solver solver) {
super(name, solver);
IEnvironment env = solver.getEnvironment();
this.LENGTH = sortedValues.length;
this.values = sortedValues.clone();
this.indexes = env.makeBitSet(LENGTH);
this.indexes.set(0, LENGTH);
this.LB = env.makeInt(0);
this.UB = env.makeInt(LENGTH - 1);
this.SIZE = env.makeInt(LENGTH);
}