List of propagate() Examples

Examples of propagate()

com.cburch.logisim.circuit.Propagator.propagate()
com.cburch.logisim.comp.Component.propagate()
com.neuralnetwork.shared.layers.IInputLayer.propagate()
Propagate the values from this IInputLayer to the next ILayer. @param nnctx neural net context parameter @return the output layer of the network
com.neuralnetwork.shared.layers.InputLayer.propagate()
org.apache.felix.dm.DependencyService.propagate()
Propagates the dependency properties to the ones provided by the dependency service. No effet if the dependency is not configured with the setPropagate method. @param dependency the dependency whose properties will be propagated to the service properties of this dependency service. @see ServiceDependency#setPropagate(boolean) @see ServiceDependency#setPropagate(String)
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

Examples of solver.Solver.propagate()

            Assert.assertEquals(X.getUB(), 10);
            Assert.assertEquals(Y.getLB(), 3);
            Assert.assertEquals(Y.getUB(), 8);


            Y.updateUpperBound(-2, Cause.Null);
            solver.propagate();
            Assert.assertEquals(Y.getUB(), -2);
            Assert.assertEquals(X.getLB(), 2);


            Y.removeValue(-4, Cause.Null);
            solver.propagate();

View Full Code Here

Examples of solver.Solver.propagate()

            solver.propagate();
            Assert.assertEquals(Y.getUB(), -2);
            Assert.assertEquals(X.getLB(), 2);


            Y.removeValue(-4, Cause.Null);
            solver.propagate();
            Assert.assertFalse(Y.contains(-4));
            Assert.assertFalse(X.contains(4));


            Y.removeInterval(-8, -6, Cause.Null);
            solver.propagate();

View Full Code Here

Examples of solver.Solver.propagate()

            solver.propagate();
            Assert.assertFalse(Y.contains(-4));
            Assert.assertFalse(X.contains(4));


            Y.removeInterval(-8, -6, Cause.Null);
            solver.propagate();
            Assert.assertFalse(Y.contains(-8));
            Assert.assertFalse(Y.contains(-7));
            Assert.assertFalse(Y.contains(-6));
            Assert.assertFalse(X.contains(6));
            Assert.assertFalse(X.contains(7));

View Full Code Here

Examples of solver.Solver.propagate()


            Assert.assertEquals(X.getDomainSize(), 4);
            Assert.assertEquals(Y.getDomainSize(), 4);


            Y.instantiateTo(-5, Cause.Null);
            solver.propagate();
            Assert.assertTrue(X.isInstantiated());
            Assert.assertTrue(Y.isInstantiated());
            Assert.assertEquals(X.getValue(), 5);
            Assert.assertEquals(Y.getValue(), -5);

View Full Code Here

Examples of solver.Solver.propagate()

        IntVar v1 = VF.enumerated("v1", -2, 2, s);
        IntVar v2 = VF.minus(VF.minus(VF.enumerated("v2", -2, 2, s)));
        s.post(ICF.arithm(v1, "=", v2));
        s.post(ICF.arithm(v2, "!=", 1));


        s.propagate();


        Assert.assertFalse(v1.contains(1));
    }


    @Test(groups = "1s")

View Full Code Here

Examples of solver.Solver.propagate()

                    IntConstraintFactory.arithm(VariableFactory.fixed(i, solver), "<", cp),
                    IntConstraintFactory.arithm(VariableFactory.fixed(i, solver), ">=", cp)));
        }


        try {
            solver.propagate();
            cp.updateUpperBound(5, Cause.Null);
            solver.propagate();
            bv[0].instantiateTo(1, Cause.Null);
            solver.propagate();
        } catch (ContradictionException e) {

View Full Code Here

Examples of solver.Solver.propagate()

        }


        try {
            solver.propagate();
            cp.updateUpperBound(5, Cause.Null);
            solver.propagate();
            bv[0].instantiateTo(1, Cause.Null);
            solver.propagate();
        } catch (ContradictionException e) {
            e.printStackTrace();
        }

View Full Code Here

Examples of solver.Solver.propagate()

        try {
            solver.propagate();
            cp.updateUpperBound(5, Cause.Null);
            solver.propagate();
            bv[0].instantiateTo(1, Cause.Null);
            solver.propagate();
        } catch (ContradictionException e) {
            e.printStackTrace();
        }


    }

View Full Code Here

Examples of solver.Solver.propagate()

                p2 = c.getPropagator(0);
            }


            try {
                s1.propagate();
                s2.propagate();
                Assert.assertEquals(vs1[0].getDomainSize(), vs2[0].getDomainSize());
                Assert.assertEquals(vs1[1].getDomainSize(), vs2[1].getDomainSize());


                for (int j = 0; j < 1000; j++) {
                    s1.getEnvironment().worldPush();

View Full Code Here

Examples of solver.Solver.propagate()

        b[1] = VariableFactory.bounded("b2", 0, 0, solver);




        solver.post(IntConstraintFactory.lex_less(a, b));
        try {
            solver.propagate();


        } catch (ContradictionException e) {
            Assert.fail();
        }
//        SearchMonitorFactory.log(solver, true, true);

View Full Code Here

0 1 2 3 4 5

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.