Examples of solver.constraints.nary.nogood.NogoodStoreFromRestarts

solver.constraints.nary.nogood.NogoodStoreFromRestarts
A constraint for the specific Nogood store designed to store ONLY positive decisions.
Related to "Nogood Recording from Restarts", C. Lecoutre et al.
Beware : - Must be posted as a constraint AND plugged as a monitor as well - Cannot be reified - Only works for integer variables - Only works if branching decisions are assignments (no domain split nor value removal) @author Charles Prud'homme @since 20/06/13


        solver.post(ICF.sum(vars, obj));
        solver.post(ICF.arithm(vars[0], "+", vars[1], "<", 2));
        solver.post(ICF.arithm(vars[4], "+", vars[5], ">", 3));


        NogoodStoreFromRestarts ngs = new NogoodStoreFromRestarts(vars);
        solver.getSearchLoop().plugSearchMonitor(
                new LargeNeighborhoodSearch(solver,
                        new SequenceNeighborhood(
                                new ExplainingObjective(solver, 200, 123456L),
                                new ExplainingCut(solver, 200, 123456L),

View Full Code Here


    @Test(groups = "1s")
    public void test1() {
        final Solver solver = new Solver();
        IntVar[] vars = VF.enumeratedArray("vars", 3, 0, 2, solver);
        NogoodStoreFromRestarts ngs = new NogoodStoreFromRestarts(vars);
        solver.post(ngs);
        solver.set(ISF.random_value(vars, 29091981L));
        final BacktrackCounter sc = new BacktrackCounter(30);
        sc.setAction(new ICounterAction() {
            @Override

View Full Code Here


    @Test(groups = "1s")
    public void test2() {
        final Solver solver = new Solver();
        IntVar[] vars = VF.enumeratedArray("vars", 3, 0, 3, solver);
        NogoodStoreFromRestarts ngs = new NogoodStoreFromRestarts(vars);
        solver.post(ngs);
        solver.set(ISF.random_value(vars, 29091981L));
        final BacktrackCounter sc = new BacktrackCounter(32);
        sc.setAction(new ICounterAction() {
            @Override

View Full Code Here

TOP

Related Classes of solver.constraints.nary.nogood.NogoodStoreFromRestarts

solver.constraints.nary.NogoodTest

solver.search.loop.ELNSTest

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.