import choco.kernel.solver.Solver; import choco.kernel.memory.IStateIntVector; import choco.kernel.memory.trailing.StoredIntVector; public class ReversibleVector { private IStateIntVector V; public ReversibleVector(Solver s,int n) { V = s.getEnvironment().makeIntVector(); for (int i=0;i -1){ V.set(location,V.get(V.size()-1)); V.removeLast(); } } // // find the location of element with value i // swap the contents with the last element // remove the last element // }