Examples of solver.objective.ObjectiveStrategy

solver.objective.ObjectiveStrategy
Class that defines a branching strategy over the objective variable @author Jean-Guillaume Fages @since Oct. 2012


    @Override
    public void configureSearch() {
        AbstractStrategy strat = IntStrategyFactory.lexico_LB(objects);
        // trick : top-down maximization
        solver.set(new ObjectiveStrategy(power, OptimizationPolicy.TOP_DOWN), strat);
    }

View Full Code Here

    Solver solver = new Solver();
    IntVar a = VF.enumerated("a", -2, 2, solver);


//    SMF.log(solver, true, true);
    solver.set(
        new ObjectiveStrategy(a,OptimizationPolicy.TOP_DOWN),
        ISF.minDom_LB(a));
    SMF.restartAfterEachSolution(solver);
    NogoodStoreFromSolutions ng = new NogoodStoreFromSolutions(new IntVar[]{a});
    solver.post(ng);
    solver.plugMonitor(ng);

View Full Code Here

TOP

Related Classes of solver.objective.ObjectiveStrategy

samples.integer.Knapsack

solver.search.ObjectiveTest

solver.search.strategy.decision.fast.FastDecision

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.