Package solver.search.strategy.selectors

Examples of solver.search.strategy.selectors.IntValueSelector

89
90
91
92
93
94
95
96
97
98
99
    @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
170
171
172
173
174
175
176
177
178
179
180
    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

Related Classes of solver.search.strategy.selectors.IntValueSelector

  • choco.strategy.StrategyTest
  • samples.integer.KnightTourProblem_Circuit
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.