Package solver

Examples of solver.Solver.findAllSolutions()

177
178
179
180
181
182
183
184
185
186
187
        IntVar X = VF.enumerated("X", 1, 3, solver);
        IntVar Y = VF.enumerated("Y", -1, 1, solver);
        IntVar Z = VF.enumerated("Z", 2, 3, solver);
        solver.post(ICF.eucl_div(X, Y, Z));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }

    @Test(groups = "1s")
    public void testmaximum() {
        Solver solver = new Solver();
View Full Code Here
188
189
190
191
192
193
194
195
196
197
198
        IntVar MAX = VF.enumerated("MAX", 1, 3, solver);
        IntVar Y = VF.enumerated("Y", -1, 1, solver);
        IntVar Z = VF.enumerated("Z", 2, 3, solver);
        solver.post(ICF.maximum(MAX, Y, Z));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }

    @Test(groups = "1s")
    public void testminimum() {
        Solver solver = new Solver();
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
    @Test(groups = "1m")
    public void testBinary() {
        log.info("modelBinary {}", parameters());
        Solver s = modeler(new NQueenBinary(), size);
        s.findAllSolutions();
        assertIt(s);
    }

    @Test(groups = "1m")
    public void testLinBinary() {
View Full Code Here
100
101
102
103
104
105
106
107
108
109
110
    @Test(groups = "1m")
    public void testLinBinary() {
        log.info("modelBinary {}", parameters());
        Solver s = modeler(new NQueenLinearBinary(), size);
        s.findAllSolutions();
        assertIt(s);
        //s.findSolution();
    }

    @Test(groups = "1m")
View Full Code Here
109
110
111
112
113
114
115
116
117
118
119
    @Test(groups = "1m")
    public void testGlobalBinary() {
        log.info("modelBinaryGlobal {}", parameters());
        Solver s = modeler(new NQueenBinaryGlobal(), size);
        s.findAllSolutions();
        assertIt(s);
    }

    @Test(groups = "1m")
    public void testGlobal() throws ContradictionException {
View Full Code Here
117
118
119
120
121
122
123
124
125
126
127
    @Test(groups = "1m")
    public void testGlobal() throws ContradictionException {
        log.info("modelGlobal {}", parameters());
        Solver s = modeler(new NQueenGlobal(), size);
        s.findAllSolutions();
        assertIt(s);
    }

    @Test(groups = "1m")
    public void testDualBinary() {
View Full Code Here
125
126
127
128
129
130
131
132
133
134
135
    @Test(groups = "1m")
    public void testDualBinary() {
        log.info("modelDualBinary {}", parameters());
        Solver s = modeler(new NQueenDualBinary(), size);
        s.findAllSolutions();
        assertIt(s);
    }


    @Test(groups = "1m")
View Full Code Here
134
135
136
137
138
139
140
141
142
143
144
    @Test(groups = "1m")
    public void testDualGlobal() {
        log.info("modelDualGlobal {}", parameters());
        Solver s = modeler(new NQueenDualGlobal(), size);
        s.findAllSolutions();
        assertIt(s);
    }

    @Test(groups = "verylong")
    public void testAll1() {
View Full Code Here
143
144
145
146
147
148
149
150
151
152
153
    @Test(groups = "verylong")
    public void testAll1() {
        Solver sol;
        for (int j = 4; j < 23; j++) {
            sol = modeler(new NQueenBinary(), j);
            sol.findAllSolutions();
            long nbsol = sol.getMeasures().getSolutionCount();
            long node = sol.getMeasures().getNodeCount();
            for (int t = 0; t < PropagationEngineFactory.values().length; t++) {
                sol = modeler(new NQueenBinary(), j);
                PropagationEngineFactory.values()[t].make(sol);
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
            long nbsol = sol.getMeasures().getSolutionCount();
            long node = sol.getMeasures().getNodeCount();
            for (int t = 0; t < PropagationEngineFactory.values().length; t++) {
                sol = modeler(new NQueenBinary(), j);
                PropagationEngineFactory.values()[t].make(sol);
                sol.findAllSolutions();
                Assert.assertEquals(sol.getMeasures().getSolutionCount(), nbsol);
                Assert.assertEquals(sol.getMeasures().getNodeCount(), node);
            }

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