//import choco.Problem; import choco.ContradictionException; import choco.integer.*; public class DecisionVar { IntDomainVar v; int[] val; // an ordered domain of values int[] dep; // discrepancies int m; // initial domain size public String toString(){return v.pretty();} public DecisionVar(IntDomainVar v) { this.v = v; m = v.getDomainSize(); val = new int[m]; dep = new int[m]; val[0] = v.getInf(); for (int i=1;i