Package solver.variables

Examples of solver.variables.BoolVar

134
135
136
137
138
139
140
141
142
143
144
145
    }

    @Test(groups = "1s")
    public void testboolisneqvar() {
        Solver solver = new Solver();
        BoolVar L = VF.bool("L", solver);
        BoolVar R = VF.bool("R", solver);
        BoolVar T = VF.bool("T", solver);
        SatFactory.addBoolIsNeqVar(L, R, T);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
145
146
147
148
149
150
151
152
153
154
155
    }

    @Test(groups = "1s")
    public void testboolle() {
        Solver solver = new Solver();
        BoolVar L = VF.bool("L", solver);
        BoolVar R = VF.bool("R", solver);
        SatFactory.addBoolLe(L, R);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
155
156
157
158
159
160
161
162
163
164
165
    }

    @Test(groups = "1s")
    public void testboollt() {
        Solver solver = new Solver();
        BoolVar L = VF.bool("L", solver);
        BoolVar R = VF.bool("R", solver);
        SatFactory.addBoolLt(L, R);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
165
166
167
168
169
170
171
172
173
174
175
    }

    @Test(groups = "1s")
    public void testboolnot() {
        Solver solver = new Solver();
        BoolVar L = VF.bool("L", solver);
        BoolVar R = VF.bool("R", solver);
        SatFactory.addBoolNot(L, R);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
176
177
178
179
180
181
182
183
184
185
    @Test(groups = "1s")
    public void testboolandarrayequalvar() {
        Solver solver = new Solver();
        BoolVar[] BVARS = VF.boolArray("BS", 4, solver);
        BoolVar T = VF.bool("T", solver);
        SatFactory.addBoolAndArrayEqVar(BVARS, T);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
186
187
188
189
190
191
192
193
194
195
    @Test(groups = "1s")
    public void testboolorarrayequalvar() {
        Solver solver = new Solver();
        BoolVar[] BVARS = VF.boolArray("BS", 4, solver);
        BoolVar T = VF.bool("T", solver);
        SatFactory.addBoolOrArrayEqVar(BVARS, T);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
195
196
197
198
199
200
201
202
203
204
205
206
    }

    @Test(groups = "1s")
    public void testbooloreqvar() {
        Solver solver = new Solver();
        BoolVar L = VF.bool("L", solver);
        BoolVar R = VF.bool("R", solver);
        BoolVar T = VF.bool("T", solver);
        SatFactory.addBoolOrEqVar(L, R, T);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
206
207
208
209
210
211
212
213
214
215
216
217
    }

    @Test(groups = "1s")
    public void testboolxoreqvar() {
        Solver solver = new Solver();
        BoolVar L = VF.bool("L", solver);
        BoolVar R = VF.bool("R", solver);
        BoolVar T = VF.bool("T", solver);
        SatFactory.addBoolXorEqVar(L, R, T);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
217
218
219
220
221
222
223
224
225
226
227
228
229
230
    }

    @Test(groups = "1s")
    public void testboolclauseslop() {
        Solver solver = new Solver();
        BoolVar C1 = VF.bool("C1", solver);
        BoolVar C2 = VF.bool("C2", solver);
        BoolVar R = VF.bool("R", solver);
        BoolVar AR = VF.bool("AR", solver);
        SatFactory.addClauses(
                LogOp.ifThenElse(LogOp.nand(C1, C2), R, AR),
                solver);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
View Full Code Here
231
232
233
234
235
236
237
238
239
240
241
242
243
    }

    @Test(groups = "1s")
    public void testboolclauses() {
        Solver solver = new Solver();
        BoolVar P1 = VF.bool("P1", solver);
        BoolVar P2 = VF.bool("P2", solver);
        BoolVar P3 = VF.bool("P3", solver);
        BoolVar N = VF.bool("N", solver);
        SatFactory.addClauses(new BoolVar[]{P1, P2, P3}, new BoolVar[]{N});
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
TOP

Related Classes of solver.variables.BoolVar

  • choco.ClauseTest
  • choco.LogicTreeTest
  • choco.ReifiedTest
  • docs.SatConstraintExamples
  • samples.DecomposedAllDifferent
  • samples.integer.AirPlaneLanding
  • samples.integer.AirPlanePara
  • samples.integer.StableMarriage
  • samples.pert.PertReified
  • solver.constraints.DynamicPostTest
    • 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.