import choco.kernel.solver.search.integer.AbstractIntVarSelector; import choco.kernel.solver.variables.integer.IntDomainVar; import choco.kernel.solver.variables.AbstractVar; import choco.kernel.memory.IStateInt; public class MinColHeuristic extends AbstractIntVarSelector { private IntDomainVar[] vars; // 0/1 decision variables private int n; // number of decision variables private IStateInt[] col; // colouring of v[i] in candidate set, reversible private ReversibleVector candidateSet; // the uninstantiated variables public MinColHeuristic(IntDomainVar[] vars,IStateInt[] col,ReversibleVector candidateSet){ this.vars = vars; n = vars.length;this.col = col; this.candidateSet = candidateSet; } public IntDomainVar selectIntVar(){ int minColour = Integer.MAX_VALUE; IntDomainVar minColourVar = null; int colour = 0; int i = 0; for (int k=0;k