Examples of IntValueSelector

com.exigen.ie.constrainer.IntValueSelector
An interface for the selection of the values from the domain of the IntVar. Used in GoalInstantiate. @see GoalInstantiate @see GoalGenerate @see IntValueSelectorMin @see IntValueSelectorMax @see IntValueSelectorMinMax
solver.search.strategy.selectors.IntValueSelector
A value selector specifies which value should be chosen to constrain the given variable. The value chosen must belong to the domain of the selected variable.
@author Charles Prud'homme @since 28 sept. 2010

Examples of com.exigen.ie.constrainer.IntValueSelector


    C.traceChoicePoints(vars);
    //C.displayOnBacktrack(vars);
    C.traceFailures(vars);


    IntValueSelector value_selector = new IntValueSelectorMin();
    IntVarSelector var_selector = new IntVarSelectorMinSize(vars);
    Goal print = new GoalAnd(new GoalPrint(vars),new GoalPrintObject(C,cost));
    Goal solution = new GoalAnd(print,
                                new GoalGenerate(vars,var_selector,value_selector),
                                print);

View Full Code Here

Examples of com.exigen.ie.constrainer.IntValueSelector


    C.traceChoicePoints(vars);
    //C.displayOnBacktrack(vars);
    C.traceFailures(vars);


    IntValueSelector value_selector = new IntValueSelectorMin();
    IntVarSelector var_selector = new IntVarSelectorMinSize(vars);
    Goal print = new GoalAnd(new GoalPrint(vars),new GoalPrintObject(C,cost));
    Goal solution = new GoalAnd(print,
                                new GoalGenerate(vars,var_selector,value_selector),
                                print);

View Full Code Here

Examples of solver.search.strategy.selectors.IntValueSelector

    @Override
    public void configureSearch() {
    SMF.limitTime(solver, limit);
    solver.set(ISF.custom(
        ISF.minDomainSize_var_selector(),
        new IntValueSelector() {
          @Override
          public int selectValue(IntVar var) {
            int ub = var.getUB();
            int size = succ.length + 1;
            int val = -1;

View Full Code Here

Examples of solver.search.strategy.selectors.IntValueSelector

    public void testOnce() {
        Solver solver = new Solver("OnceTest");
        IntVar x = VariableFactory.enumerated("x", 1, 2, solver);
        IntVar[] v = {x};
        VariableSelector varsel = new InputOrder<>();
        IntValueSelector valsel = new IntDomainMin();
        DecisionOperator assgnt = DecisionOperator.int_eq;
        solver.set(new Once(v, varsel, valsel, assgnt));
        solver.findSolution();
        Assert.assertTrue(x.getValue() == 1);
    }

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.