Package solver

Examples of solver.Solver.propagate()

83
84
85
86
87
88
89
90
91
92
93
        // square2,0={1,2,5,7,8,9...,15} square2,1={5,7} square2,2=11 square2,3={2,5,7,8,9,10...,15}
        // square3,0={14,15} square3,1={5,7} square3,2={8,9,10} square3,3=4
        //== >square0,2  ==  12 (0)
        Solver solver = modeler(4);
        Variable[] vars = solver.getVars();
        solver.propagate();
    int offset = 2;
        ((IntVar) vars[0+offset]).instantiateTo(3, Cause.Null);
        ((IntVar) vars[15+offset]).instantiateTo(4, Cause.Null);
        ((IntVar) vars[5+offset]).removeInterval(11, 15, Cause.Null);
        ((IntVar) vars[1+offset]).removeValue(2, Cause.Null);
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
        ((IntVar) vars[5+offset]).removeInterval(11, 15, Cause.Null);
        ((IntVar) vars[1+offset]).removeValue(2, Cause.Null);
        ((IntVar) vars[9+offset]).removeInterval(1, 2, Cause.Null);
        ((IntVar) vars[13+offset]).removeInterval(1, 2, Cause.Null);
        ((IntVar) vars[1+offset]).instantiateTo(6, Cause.Null);
        solver.propagate();
        LoggerFactory.getLogger("test").error("************************");
        ((IntVar) vars[2+offset]).instantiateTo(12, Cause.Null);
        try {
            solver.propagate();
            LoggerFactory.getLogger("test").error("************************");
 
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
        ((IntVar) vars[1+offset]).instantiateTo(6, Cause.Null);
        solver.propagate();
        LoggerFactory.getLogger("test").error("************************");
        ((IntVar) vars[2+offset]).instantiateTo(12, Cause.Null);
        try {
            solver.propagate();
            LoggerFactory.getLogger("test").error("************************");
            Assert.fail("should fail");
        } catch (ContradictionException ignored) {
        }
        LoggerFactory.getLogger("test").error("************************");
 
View Full Code Here
112
113
114
115
116
117
118
119
120
121
122
        // square1,0={4,5,6,7,8,9...,14} square1,1={7,8,9,10,11,12...,14} square1,2={4,5,6,7,8,9...,10} square1,3={1,4,5,6,7,8...,15}
        // square2,0={4,5,6,7,8,9...,14} square2,1={6,7,8,9,10,11...,12} square2,2={4,5,6,7,8,9...,10} square2,3={1,4,5,6,7,8...,15}
        // square3,0={14,15} square3,1={1,4,5,6,7,8...,8} square3,2={4,5,6,7,8,9...,10} square3,3={8,9,10,11,12,14...,15}
        //[R]!square3,0  ==  14 (1)
        Solver solver = modeler(4);
        solver.propagate();
    int offset = 2;
        Variable[] vars = solver.getVars();
        ((IntVar) vars[0+offset]).instantiateTo(2, Cause.Null);
        solver.propagate();
        ((IntVar) vars[3+offset]).instantiateTo(3, Cause.Null);
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
        Solver solver = modeler(4);
        solver.propagate();
    int offset = 2;
        Variable[] vars = solver.getVars();
        ((IntVar) vars[0+offset]).instantiateTo(2, Cause.Null);
        solver.propagate();
        ((IntVar) vars[3+offset]).instantiateTo(3, Cause.Null);
        solver.propagate();
        ((IntVar) vars[1+offset]).instantiateTo(13, Cause.Null);
        solver.propagate();
View Full Code Here
118
119
120
121
122
123
124
125
126
127
128
    int offset = 2;
        Variable[] vars = solver.getVars();
        ((IntVar) vars[0+offset]).instantiateTo(2, Cause.Null);
        solver.propagate();
        ((IntVar) vars[3+offset]).instantiateTo(3, Cause.Null);
        solver.propagate();
        ((IntVar) vars[1+offset]).instantiateTo(13, Cause.Null);
        solver.propagate();

        ((IntVar) vars[6+offset]).removeValue(1, Cause.Null);
        solver.propagate();
View Full Code Here
120
121
122
123
124
125
126
127
128
129
130
        ((IntVar) vars[0+offset]).instantiateTo(2, Cause.Null);
        solver.propagate();
        ((IntVar) vars[3+offset]).instantiateTo(3, Cause.Null);
        solver.propagate();
        ((IntVar) vars[1+offset]).instantiateTo(13, Cause.Null);
        solver.propagate();

        ((IntVar) vars[6+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[14+offset]).removeValue(1, Cause.Null);
        solver.propagate();
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
        solver.propagate();
        ((IntVar) vars[1+offset]).instantiateTo(13, Cause.Null);
        solver.propagate();

        ((IntVar) vars[6+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[14+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[12+offset]).removeInterval(9, 14, Cause.Null);
        solver.propagate();
        Assert.assertTrue(((IntVar) vars[13+offset]).isInstantiatedTo(1));
View Full Code Here
125
126
127
128
129
130
131
132
133
134
135
        solver.propagate();

        ((IntVar) vars[6+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[14+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[12+offset]).removeInterval(9, 14, Cause.Null);
        solver.propagate();
        Assert.assertTrue(((IntVar) vars[13+offset]).isInstantiatedTo(1));

    }
View Full Code Here
127
128
129
130
131
132
133
134
135
136
        ((IntVar) vars[6+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[14+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[12+offset]).removeInterval(9, 14, Cause.Null);
        solver.propagate();
        Assert.assertTrue(((IntVar) vars[13+offset]).isInstantiatedTo(1));

    }
}
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.