Package solver.propagation

Examples of solver.propagation.IPropagationEngine

112
113
114
115
116
117
118
119
120
121
122
                if (lastProp.isActive()) {
                    lastProp.propagate(PropagatorEventType.FULL_PROPAGATION.getMask());
                }
                break;
            case error:
                IPropagationEngine engine = lastProp.getSolver().getEngine();
                lastProp.getSolver().set(singleton);
                if (lastProp.isActive()) {
                    lastProp.propagate(PropagatorEventType.FULL_PROPAGATION.getMask());
                }
                lastProp.getSolver().set(engine);
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
        Assert.assertNotNull(solver);
    }

    @Test(groups = {"1s"})
    public void testEngine1() {
        IPropagationEngine eng = new TwoBucketPropagationEngine(new Solver());
        File file = null;
        try {
            file = write(eng);
        } catch (IOException e) {
            e.printStackTrace();
View Full Code Here
117
118
119
120
121
122
123
124
125
126
127
        Assert.assertNotNull(eng);
    }

    @Test(groups = {"1s"})
    public void testEngine2() {
        IPropagationEngine eng = new SevenQueuesPropagatorEngine(new Solver());
        File file = null;
        try {
            file = write(eng);
        } catch (IOException e) {
            e.printStackTrace();
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
     */
    @Override
    public void init() throws ContradictionException {
        gAtDec = new GenerateAndTestDecision(vars);
        gAtPE = new GenerateAndTestPropagationEngine(solver);
        final IPropagationEngine stdEngine = solver.getEngine();
        restorePropagationEngine = new Operation() {
            @Override
            public void undo() {
                solver.set(stdEngine);
            }
View Full Code Here
TOP

Related Classes of solver.propagation.IPropagationEngine

  • choco.serializable.SerializableTest
  • solver.propagation.hardcoded.FakeEngine
  • solver.search.strategy.strategy.GenerateAndTest
    • 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.