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()

    int offset = 2;
        Variable[] vars = solver.getVars();
        ((IntVar) vars[0+offset]).instantiateTo(2, Cause.Null);
        solver.propagate();
        ((IntVar) vars[3+offset]).instantiateTo(3, Cause.Null);
        solver.propagate();
        ((IntVar) vars[1+offset]).instantiateTo(13, Cause.Null);
        solver.propagate();


        ((IntVar) vars[6+offset]).removeValue(1, Cause.Null);
        solver.propagate();

View Full Code Here

Examples of solver.Solver.propagate()

        ((IntVar) vars[0+offset]).instantiateTo(2, Cause.Null);
        solver.propagate();
        ((IntVar) vars[3+offset]).instantiateTo(3, Cause.Null);
        solver.propagate();
        ((IntVar) vars[1+offset]).instantiateTo(13, Cause.Null);
        solver.propagate();


        ((IntVar) vars[6+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[14+offset]).removeValue(1, Cause.Null);
        solver.propagate();

View Full Code Here

Examples of solver.Solver.propagate()

        solver.propagate();
        ((IntVar) vars[1+offset]).instantiateTo(13, Cause.Null);
        solver.propagate();


        ((IntVar) vars[6+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[14+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[12+offset]).removeInterval(9, 14, Cause.Null);
        solver.propagate();
        Assert.assertTrue(((IntVar) vars[13+offset]).isInstantiatedTo(1));

View Full Code Here

Examples of solver.Solver.propagate()

        solver.propagate();


        ((IntVar) vars[6+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[14+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[12+offset]).removeInterval(9, 14, Cause.Null);
        solver.propagate();
        Assert.assertTrue(((IntVar) vars[13+offset]).isInstantiatedTo(1));


    }

View Full Code Here

Examples of solver.Solver.propagate()

        ((IntVar) vars[6+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[14+offset]).removeValue(1, Cause.Null);
        solver.propagate();
        ((IntVar) vars[12+offset]).removeInterval(9, 14, Cause.Null);
        solver.propagate();
        Assert.assertTrue(((IntVar) vars[13+offset]).isInstantiatedTo(1));


    }
}

View Full Code Here

Examples of solver.Solver.propagate()


    @Test(groups = "1s")
    public void testBug1() throws ContradictionException {
//        "a corriger!!!, ca doit etre du a prop cond des propagators";
        Solver solver = modeler(new NQueenBinaryGlobal(), 16);
        solver.propagate();
    int offset = 2;
        Variable[] vars = solver.getVars();
        ((IntVar) vars[0+offset]).instantiateTo(1, Cause.Null);
        ((IntVar) vars[1+offset]).instantiateTo(3, Cause.Null);
        ((IntVar) vars[2+offset]).instantiateTo(5, Cause.Null);

View Full Code Here

Examples of solver.Solver.propagate()

        ((IntVar) vars[2+offset]).instantiateTo(5, Cause.Null);
        ((IntVar) vars[3+offset]).instantiateTo(2, Cause.Null);
        ((IntVar) vars[4+offset]).instantiateTo(12, Cause.Null);
        ((IntVar) vars[5+offset]).instantiateTo(16, Cause.Null);
        ((IntVar) vars[6+offset]).instantiateTo(4, Cause.Null);
        solver.propagate();
        LoggerFactory.getLogger("test").error("*******************************************");
//        System.out.printf("%s\n", solver.toString());
        ((IntVar) vars[7+offset]).instantiateTo(7, Cause.Null);
        try {
            solver.propagate();

View Full Code Here

Examples of solver.Solver.propagate()

        solver.propagate();
        LoggerFactory.getLogger("test").error("*******************************************");
//        System.out.printf("%s\n", solver.toString());
        ((IntVar) vars[7+offset]).instantiateTo(7, Cause.Null);
        try {
            solver.propagate();
            Assert.fail();
        } catch (ContradictionException ex) {
//            System.out.printf("%s\n", ex.getMessage());
        }
    }

View Full Code Here

Examples of solver.Solver.propagate()

        IntVar Y = VariableFactory.enumerated("Y", 3, 8, solver);
        IntVar Z = VariableFactory.enumerated("Z",0,200,solver);
    solver.post(IntConstraintFactory.sum(new IntVar[]{X,Y},Z));


        try {
            solver.propagate();
            Assert.assertFalse(Z.isInstantiated());
            Assert.assertEquals(Z.getLB(), 4);
            Assert.assertEquals(Z.getUB(), 18);
            Assert.assertTrue(Z.contains(10));
            Assert.assertEquals(Z.nextValue(3), 4);

View Full Code Here

Examples of solver.Solver.propagate()

            Assert.assertEquals(Z.previousValue(19), 18);
            Assert.assertEquals(Z.previousValue(10), 9);
            Assert.assertEquals(Z.previousValue(4), Integer.MIN_VALUE);


            Z.updateLowerBound(12, Cause.Null);
            solver.propagate();
            Assert.assertEquals(X.getLB(), 4);
            Assert.assertEquals(X.getUB(), 10);
            Assert.assertEquals(Y.getLB(), 3);
            Assert.assertEquals(Y.getUB(), 8);

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.