Package solver.variables

Examples of solver.variables.BoolVar

243
244
245
246
247
248
249
250
251
252
    }

    @Test(groups = "1s")
    public void testboolfalse() {
        Solver solver = new Solver();
        BoolVar B = VF.bool("B", solver);
        SatFactory.addFalse(B);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
253
254
255
256
257
258
259
260
261
262
    @Test(groups = "1s")
    public void testmaxboolarraylesseqvar() {
        Solver solver = new Solver();
        BoolVar[] BVARS = VF.boolArray("BS", 3, solver);
        BoolVar T = VF.bool("T", solver);
        SatFactory.addMaxBoolArrayLessEqVar(BVARS, T);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
263
264
265
266
267
268
269
270
271
272
    @Test(groups = "1s")
    public void testsumboolarraygreatereqvar() {
        Solver solver = new Solver();
        BoolVar[] BVARS = VF.boolArray("BS", 3, solver);
        BoolVar T = VF.bool("T", solver);
        SatFactory.addSumBoolArrayGreaterEqVar(BVARS, T);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
273
274
275
276
277
278
279
280
281
282
    @Test(groups = "1s")
    public void testsumboolarraylesseqvar() {
        Solver solver = new Solver();
        BoolVar[] BVARS = VF.boolArray("BS", 3, solver);
        BoolVar T = VF.bool("T", solver);
        SatFactory.addSumBoolArrayLessEqVar(BVARS, T);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
282
283
284
285
286
287
288
289
290
291
    }

    @Test(groups = "1s")
    public void testbooltrue() {
        Solver solver = new Solver();
        BoolVar B = VF.bool("B", solver);
        SatFactory.addTrue(B);
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
        for (int seed = 0; seed < 200; seed++) {
            Random r = new Random(seed);
            double d = r.nextDouble() / 2 + 0.5;
            Solver s = new Solver();

            BoolVar b = VariableFactory.bool("b", s);
            int[][] values = DomainBuilder.buildFullDomains(2, 0, 15, r, d, false);
            IntVar x = VariableFactory.enumerated("x", values[0], s);
            IntVar y = VariableFactory.enumerated("y", values[1], s);
            IntVar[] vars = new IntVar[]{b, x, y};
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
96
97
    @Test(groups = "1s")
    public void testRandomMember() {
        Solver s = new Solver();

        BoolVar a = VariableFactory.bool("a", s);
        BoolVar b = VariableFactory.bool("b", s);
        BoolVar c = VariableFactory.bool("c", s);
        IntVar x = VariableFactory.enumerated("x", 1, 3, s);
        IntVar y = VariableFactory.enumerated("y", 1, 1, s);
        IntVar z = VariableFactory.enumerated("z", 1, 2, s);
        z.toString();
View Full Code Here
112
113
114
115
116
117
118
119
120
121
122
        for (int seed = 0; seed < 200; seed++) {
            Random r = new Random(seed);
            double d = r.nextDouble() / 2 + 0.5;
            Solver s = new Solver();

            BoolVar b = VariableFactory.bool("b", s);
            int[][] values = DomainBuilder.buildFullDomains(2, 0, 15, r, d, false);
            IntVar x = VariableFactory.enumerated("x", values[0], s);
            IntVar y = VariableFactory.enumerated("y", values[1], s);
            IntVar[] vars = new IntVar[]{b, x, y};
View Full Code Here
182
183
184
185
186
187
188
189
190
191
192
//                        Blist.add(b);
//                        Constraint cB = ConstraintFactory.leq(X[j], l, s2, eng2);
//                        Constraint ocB = ConstraintFactory.geq(X[j], l + 1, s2, eng2);
//                        lcstrs.add(new ReifiedConstraint(b, cB, ocB, s2, eng2));
                for (int q = p; q <= u; q++) {
                    BoolVar a = VariableFactory.bool("A" + j + "_" + p + "_" + q, s2);
                    mA[j][p - l][q - p] = a;
                    listA.add(a);

                    Constraint cA = member(X[j], p, q);
                    Constraint ocA = not_member(X[j], p, q);
View Full Code Here
457
458
459
460
461
462
463
464
465
466
467
468
469
    }

    @Test(groups = "1s")
    public void test_boussard1() {
        Solver solver = new Solver();
        BoolVar a = VariableFactory.bool("a", solver);
        BoolVar b = VariableFactory.bool("b", solver);
        BoolVar c = VariableFactory.bool("c", solver);

        solver.post(LogicalConstraintFactory.ifThen(
                a,
                LogicalConstraintFactory.ifThen(
                        b,
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.