Examples of solver.Solver.findAllSolutions()

solver.Solver.findAllSolutions()
Attempts to find all solutions of the declared problem. @return the number of found solutions.

        Solver solver = new Solver();
        IntVar[] XS = VF.enumeratedArray("XS", 4, 0, 2, solver);
        IntVar N = VF.enumerated("N", 1, 3, solver);
        solver.post(ICF.atmost_nvalues(XS, N, false));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }


    @Test(groups = "1s")
    public void testbin_packing() {
        Solver solver = new Solver();

View Full Code Here

        IntVar[] IBIN = VF.enumeratedArray("IBIN", 5, 1, 3, solver);
        int[] sizes = new int[]{2, 3, 1, 4, 2};
        IntVar[] BLOADS = VF.enumeratedArray("BLOADS", 3, 0, 5, solver);
        solver.post(ICF.bin_packing(IBIN, sizes, BLOADS, 1));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }


    @Test(groups = "1s")
    public void testboolean_channeling() {
        Solver solver = new Solver();

View Full Code Here

        Solver solver = new Solver();
        BoolVar[] BVARS = VF.boolArray("BVARS", 5, solver);
        IntVar VAR = VF.enumerated("VAR", 1, 5, solver);
        solver.post(ICF.boolean_channeling(BVARS, VAR, 1));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }


    @Test(groups = "1s")
    public void testcircuit() {
        Solver solver = new Solver();

View Full Code Here

    public void testcircuit() {
        Solver solver = new Solver();
        IntVar[] NODES = VF.enumeratedArray("NODES", 5, 0, 4, solver);
        solver.post(ICF.circuit(NODES, 0, CircuitConf.LIGHT));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }


    @Test(groups = "1s")
    public void testcost_regular() {
        Solver solver = new Solver();

View Full Code Here

        costs[3] = new int[]{3, 2, 1};
        costs[4] = new int[]{2, 1, 3};


        solver.post(ICF.cost_regular(VARS, COST, CostAutomaton.makeSingleResource(fauto, costs, COST.getLB(), COST.getUB())));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }


    @Test(groups = "1s")
    public void testcount() {
        Solver solver = new Solver();

View Full Code Here

        IntVar[] VS = VF.enumeratedArray("VS", 4, 0, 3, solver);
        IntVar VA = VF.enumerated("VA", new int[]{1, 3}, solver);
        IntVar CO = VF.enumerated("CO", new int[]{0, 2, 4}, solver);
        solver.post(ICF.count(VA, VS, CO));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }


    @Test(groups = "1s")
    public void testcumulative() {
        Solver solver = new Solver();

View Full Code Here

            HE[i] = VF.bounded("HE_" + i, i - 1, i + 1, solver);
        }
        IntVar CA = VF.enumerated("CA", 1, 3, solver);
        solver.post(ICF.cumulative(TS, HE, CA, true));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }


    @Test(groups = "1s")
    public void testdiffn() {
        Solver solver = new Solver();

View Full Code Here

            D[i] = VF.fixed("D_" + i, 1, solver);
            W[i] = VF.fixed("W_" + i, i + 1, solver);
        }
        solver.post(ICF.diffn(X, Y, D, W, true));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }


    @Test(groups = "1s")
    public void testglobal_cardinality() {
        Solver solver = new Solver();

View Full Code Here

        IntVar[] VS = VF.boundedArray("VS", 4, 0, 4, solver);
        int[] values = new int[]{-1, 1, 2};
        IntVar[] OCC = VF.boundedArray("OCC", 3, 0, 2, solver);
        solver.post(ICF.global_cardinality(VS, values, OCC, true));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }


    @Test(groups = "1s")
    public void testinverse_channeling() {
        Solver solver = new Solver();

View Full Code Here

        Solver solver = new Solver();
        IntVar[] X = VF.enumeratedArray("X", 3, 0, 3, solver);
        IntVar[] Y = VF.enumeratedArray("Y", 3, 1, 4, solver);
        solver.post(ICF.inverse_channeling(X, Y, 0, 1));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }


    @Test(groups = "1s")
    public void testknapsack() {
        Solver solver = new Solver();

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.