Examples of solver.constraints.binary.PropScale

solver.constraints.binary.PropScale
Scale propagator : ensures x * y = z With y a constant greater than one Ensures AC
@author Jean-Guillaume Fages @since 08/04/2014

    @Test(groups = "1s")
    public void test22() {
        Solver solver = new Solver("Choco");
        IntVar v = VF.enumerated("v", 1, 4, solver);
        IntVar x = VF.enumerated("v", 0, 3, solver);
        solver.post(new Constraint("times", new PropScale(v, 3, x)));


        Solver copy = solver.duplicateModel();


        solver.findAllSolutions();
        copy.findAllSolutions();

View Full Code Here

    @Test(groups = "1s")
    public void test23() {
        Solver solver = new Solver("Choco");
        IntVar v = VF.enumerated("v", 1, 4, solver);
        IntVar x = VF.enumerated("v", 0, 3, solver);
        solver.post(new Constraint("times", new PropScale(v, 3, x)));


        Solver copy = solver.duplicateModel();


        solver.findAllSolutions();
        copy.findAllSolutions();

View Full Code Here

TOP

Related Classes of solver.constraints.binary.PropScale

solver.DuplicateTest

solver.variables.IntVar

solver.exception.SolverException

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.