Package solver

Examples of solver.Solver.propagate()

118
119
120
121
122
123
124
125
126
127
128
    private static Solver referencePropagation(Modeler modeler, int nbVar, int[][] domains, THashMap<int[], IntVar> map, Object parameters) {
        Solver ref = modeler.model(nbVar, domains, map, parameters);
//        LOGGER.error(ref.toString());
        try {
            ref.propagate();
        } catch (ContradictionException e) {
            LOGGER.info("Pas de solution pour ce probleme => rien a tester !");
            return null;
        } catch (Exception e) {
            writeDown(ref);
View Full Code Here
62
63
64
65
66
67
68
69
70
71
72
        IntVar x = VariableFactory.enumerated("X", 1, 6, solver);
        IntVar y = VariableFactory.enumerated("Y", 1, 6, solver);

        solver.post(IntConstraintFactory.arithm(x, "=", y));

        solver.propagate();

        x.removeValue(4, Cause.Null);

        solver.propagate();
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
        solver.propagate();

        x.removeValue(4, Cause.Null);

        solver.propagate();

        Assert.assertFalse(y.contains(4));

    }
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
        }
        s.post(IntConstraintFactory.arithm(vars[0], "!=", vars[1]));
        s.set(IntStrategyFactory.lexico_LB(vars));

        try {
            s.propagate();
            vars[0].instantiateTo(1, Cause.Null);
            s.propagate();
            Assert.assertEquals(vars[1].getLB(), 0);
            Assert.assertEquals(vars[1].getUB(), 2);
            vars[1].removeValue(2, Cause.Null);
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
        s.set(IntStrategyFactory.lexico_LB(vars));

        try {
            s.propagate();
            vars[0].instantiateTo(1, Cause.Null);
            s.propagate();
            Assert.assertEquals(vars[1].getLB(), 0);
            Assert.assertEquals(vars[1].getUB(), 2);
            vars[1].removeValue(2, Cause.Null);
            s.propagate();
            Assert.assertEquals(vars[1].getLB(), 0);
View Full Code Here
99
100
101
102
103
104
105
106
107
108
109
            vars[0].instantiateTo(1, Cause.Null);
            s.propagate();
            Assert.assertEquals(vars[1].getLB(), 0);
            Assert.assertEquals(vars[1].getUB(), 2);
            vars[1].removeValue(2, Cause.Null);
            s.propagate();
            Assert.assertEquals(vars[1].getLB(), 0);
            Assert.assertEquals(vars[1].getUB(), 0);
        } catch (ContradictionException e) {
            Assert.fail();
        }
View Full Code Here
216
217
218
219
220
221
222
223
224
225
226
        PropagationEngineFactory.DEFAULT.make(sum);
        Variable[] vars = sum.getVars();
    int offSet = 2;// ZERO and ONE constants
        ((IntVar) vars[0+offSet]).instantiateTo(-2, Cause.Null);
        ((IntVar) vars[1+offSet]).instantiateTo(-1, Cause.Null);
        sum.propagate();
//        sum.getSearchLoop().timeStamp++;
        ((IntVar) vars[2+offSet]).removeValue(-2, Cause.Null);
        sum.propagate();
        Assert.assertTrue(vars[2+offSet].isInstantiated());
    }
View Full Code Here
219
220
221
222
223
224
225
226
227
228
        ((IntVar) vars[0+offSet]).instantiateTo(-2, Cause.Null);
        ((IntVar) vars[1+offSet]).instantiateTo(-1, Cause.Null);
        sum.propagate();
//        sum.getSearchLoop().timeStamp++;
        ((IntVar) vars[2+offSet]).removeValue(-2, Cause.Null);
        sum.propagate();
        Assert.assertTrue(vars[2+offSet].isInstantiated());
    }

}
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
    private static Solver referencePropagation(Modeler modeler, int nbVar, int[][] domains, THashMap<int[], IntVar> map, Object parameters) {
        Solver ref = modeler.model(nbVar, domains, map, parameters);
        ref.getEnvironment().worldPush();
        try {
            ref.propagate();
        } catch (ContradictionException e) {
            LoggerFactory.getLogger("test").info("Pas de solution pour ce probleme => rien a tester !");
            return null;
        } catch (Exception e) {
            File f = new File("SOLVER_ERROR.ser");
View Full Code Here
132
133
134
135
136
137
138
139
140
141
142
    private static Solver referencePropagation(Model modeler, int nbVar, Variable[] rvars, Domain[] domains, Object parameters) {
        Solver ref = modeler.model(nbVar, rvars, domains, parameters);
        ref.getEnvironment().worldPush();
        try {
            ref.propagate();
        } catch (ContradictionException e) {
            LoggerFactory.getLogger("test").info("Pas de solution pour ce probleme => rien a tester !");
            return null;
        } catch (Exception e) {
            File f = new File("SOLVER_ERROR.ser");
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.