Examples of solver.Solver.propagate()

solver.Solver.propagate()
Propagate constraints and related events through the constraint network until a fix point is find, or a contradiction is detected. @throws ContradictionException

        try {
            solver.propagate();
            bvars[0].instantiateTo(0, Cause.Null);
            bvars[2].instantiateTo(0, Cause.Null);
            bvars[1].instantiateTo(1, Cause.Null);
            solver.propagate();
        } catch (ContradictionException ex) {
            Assert.fail();
        }
    }

View Full Code Here

                LogOp tree = LogOp.ifOnlyIf(
                        LogOp.and(bvars[1], bvars[2]),
                        bvars[0]);
                SatFactory.addClauses(tree, solver);
                try {
                    solver.propagate();
                    bvars[n1].instantiateTo(b1 ? 1 : 0, Cause.Null);
                    bvars[n2].instantiateTo(b2 ? 1 : 0, Cause.Null);
                    s1 = true;
                } catch (ContradictionException cex) {
                    s1 = false;

View Full Code Here

            {
                Solver solver = new Solver();
                BoolVar[] bvars = VariableFactory.boolArray("b", 3, solver);
                solver.post(IntConstraintFactory.times(bvars[1], bvars[2], bvars[0]));
                try {
                    solver.propagate();
                    bvars[n1].instantiateTo(b1 ? 1 : 0, Cause.Null);
                    bvars[n2].instantiateTo(b2 ? 1 : 0, Cause.Null);
                    s2 = true;
                } catch (ContradictionException cex) {
                    s2 = false;

View Full Code Here

        IntVar[] vars = VariableFactory.enumeratedArray("o", 4, new int[]{0, 1, 2, 5}, solver);
        int[] values = {1, 2, 0};
        IntVar occ = VariableFactory.bounded("oc", 0, 4, solver);
        solver.post(IntConstraintFactory.among(occ, vars, values));
        try {
            solver.propagate();


            vars[0].removeValue(1, Cause.Null);
            vars[0].removeValue(2, Cause.Null);
            solver.propagate();
        } catch (ContradictionException e) {

View Full Code Here

        try {
            solver.propagate();


            vars[0].removeValue(1, Cause.Null);
            vars[0].removeValue(2, Cause.Null);
            solver.propagate();
        } catch (ContradictionException e) {
            Assert.fail();
        }
        solver.findAllSolutions();
    }

View Full Code Here

        BoolVar bool = VF.bool("bool", s);
        BoolVar view = VF.eq(bool);
        IntVar sum = VF.bounded("sum", 0, 6, s);
        s.post(ICF.scalar(new IntVar[]{view, bool}, new int[]{1, 5}, sum));
        s.post(ICF.arithm(sum, ">", 2));
        s.propagate();
        Assert.assertEquals(sum.isInstantiated(), true);
    }


    @Test(groups = "1s")
    public void testJG2() throws ContradictionException {

View Full Code Here

        BoolVar bool = VF.bool("bool", s);
        BoolVar view = VF.not(bool);
        IntVar sum = VF.bounded("sum", 0, 6, s);
        s.post(ICF.scalar(new IntVar[]{view, bool}, new int[]{1, 5}, sum));
        s.post(ICF.arithm(sum, ">", 2));
        s.propagate();
        Assert.assertEquals(sum.isInstantiated(), true);
    }


    @Test(groups = "1s")
    public void testJG3() throws ContradictionException {

View Full Code Here

        IntVar var = VF.bounded("int", 0, 2, s);
        IntVar view = VF.eq(var);
        IntVar sum = VF.bounded("sum", 0, 6, s);
        s.post(ICF.scalar(new IntVar[]{view, var}, new int[]{1, 5}, sum));
        s.post(ICF.arithm(sum, ">", 2));
        s.propagate();
        Assert.assertEquals(sum.isInstantiated(), true);
    }


    @Test(groups = "1s")
    public void testJG4() throws ContradictionException {

View Full Code Here

        IntVar var = VF.bounded("int", 0, 2, s);
        IntVar view = VF.minus(var);
        IntVar sum = VF.bounded("sum", 0, 6, s);
        s.post(ICF.scalar(new IntVar[]{view, var}, new int[]{1, 5}, sum));
        s.post(ICF.arithm(sum, ">", 2));
        s.propagate();
        Assert.assertEquals(sum.isInstantiated(), true);
    }


    @Test(groups = "1s")
    public void testvanH() {

View Full Code Here

        IntVar[] av = new IntVar[]{x1, x2, x3};
        int[] coef = new int[]{5, 3, 2};
        IntVar rhs = VariableFactory.fixed(7, solver);
        solver.post(IntConstraintFactory.scalar(av, coef, ">=", rhs));
        try {
            solver.propagate();
        } catch (Exception e) {
        }
        Assert.assertTrue(x3.isInstantiated());
        Assert.assertEquals(x3.getValue(), 1);
    }

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

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.