Package solver.search.limits

Examples of solver.search.limits.BacktrackCounter

50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
        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
            public void onLimitReached() {
                solver.getSearchLoop().restart();
                sc.reset();
            }
        });
        solver.getSearchLoop().plugSearchMonitor(sc);
        solver.getSearchLoop().plugSearchMonitor(ngs);
        SMF.limitTime(solver, 200000);
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
        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
            public void onLimitReached() {
                solver.getSearchLoop().restart();
                sc.reset();
            }
        });
        solver.getSearchLoop().plugSearchMonitor(sc);
        solver.getSearchLoop().plugSearchMonitor(ngs);
        SMF.limitTime(solver, 2000);
View Full Code Here
TOP

Related Classes of solver.search.limits.BacktrackCounter

  • solver.constraints.nary.NogoodTest
    • 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.