import choco.kernel.solver.search.integer.AbstractIntVarSelector;
import choco.kernel.solver.variables.integer.IntDomainVar;
//
// A static variable ordering heuristic
// May be used to select only some of the variables,
// i.e. the "decision" variables (as in jssp)
//

public class VarOrder extends AbstractIntVarSelector {

    protected IntDomainVar[] vars;

    public VarOrder(IntDomainVar[] vars){
	this.vars = vars;
    }

    public IntDomainVar selectIntVar(){
	IntDomainVar v;
	for (int i=0;i<vars.length;i++)
	    if (!vars[i].isInstantiated()){v = vars[i]; return v;}// return (IntDomainVar)vars[i];
	for (int i=0;i<vars.length;i++) System.out.println(vars[i].pretty());
	return null;
    }
}