Package solver

Examples of solver.Solver.findAllSolutions()

71
72
73
74
75
76
77
78
79
80
81
    public void testmember2() {
        Solver solver = new Solver();
        IntVar X = VF.enumerated("X", 1, 4, solver);
        solver.post(ICF.member(X, 2, 5));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }

    @Test(groups = "1s")
    public void testnotmember1() {
        Solver solver = new Solver();
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
    public void testnotmember1() {
        Solver solver = new Solver();
        IntVar X = VF.enumerated("X", 1, 4, solver);
        solver.post(ICF.not_member(X, new int[]{-2, -1, 0, 1, 2}));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }


    @Test(groups = "1s")
    public void testnotmember2() {
View Full Code Here
90
91
92
93
94
95
96
97
98
99
100
    public void testnotmember2() {
        Solver solver = new Solver();
        IntVar X = VF.enumerated("X", 1, 4, solver);
        solver.post(ICF.not_member(X, 2, 5));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }

    @Test(groups = "1s")
    public void testabsolute() {
        Solver solver = new Solver();
View Full Code Here
100
101
102
103
104
105
106
107
108
109
110
        Solver solver = new Solver();
        IntVar X = VF.enumerated("X", 0, 2, solver);
        IntVar Y = VF.enumerated("X", -6, 1, solver);
        solver.post(ICF.absolute(X, Y));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }

    @Test(groups = "1s")
    public void testarithm3() {
        Solver solver = new Solver();
View Full Code Here
110
111
112
113
114
115
116
117
118
119
120
        Solver solver = new Solver();
        IntVar X = VF.enumerated("X", 0, 2, solver);
        IntVar Y = VF.enumerated("X", -6, 1, solver);
        solver.post(ICF.arithm(X, "<=", Y, "+", 1));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }

    @Test(groups = "1s")
    public void testdistance1() {
        Solver solver = new Solver();
View Full Code Here
120
121
122
123
124
125
126
127
128
129
130
        Solver solver = new Solver();
        IntVar X = VF.enumerated("X", 0, 2, solver);
        IntVar Y = VF.enumerated("X", -3, 1, solver);
        solver.post(ICF.distance(X, Y, "=", 1));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }

    @Test(groups = "1s")
    public void testelement1() {
        Solver solver = new Solver();
View Full Code Here
130
131
132
133
134
135
136
137
138
139
140
        Solver solver = new Solver();
        IntVar V = VF.enumerated("V", -2, 2, solver);
        IntVar I = VF.enumerated("I", 0, 5, solver);
        solver.post(ICF.element(V, new int[]{2, -2, 1, -1, 0}, I, 0, "none"));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }

    @Test(groups = "1s")
    public void testsquare() {
        Solver solver = new Solver();
View Full Code Here
140
141
142
143
144
145
146
147
148
149
150
        Solver solver = new Solver();
        IntVar X = VF.enumerated("X", 0, 5, solver);
        IntVar Y = VF.enumerated("Y", -1, 3, solver);
        solver.post(ICF.square(X, Y));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }

    @Test(groups = "1s")
    public void testtable1() {
        Solver solver = new Solver();
View Full Code Here
155
156
157
158
159
160
161
162
163
164
165
        tuples.add(1, 1);
        tuples.add(4, 2);
        tuples.add(1, 4);
        solver.post(ICF.table(X, Y, tuples, "AC2001"));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }

    @Test(groups = "1s")
    public void testdistance2() {
        Solver solver = new Solver();
View Full Code Here
166
167
168
169
170
171
172
173
174
175
176
        IntVar X = VF.enumerated("X", 1, 3, solver);
        IntVar Y = VF.enumerated("Y", -1, 1, solver);
        IntVar Z = VF.enumerated("Z", 2, 3, solver);
        solver.post(ICF.distance(X, Y, "<", Z));
        SMF.log(solver, true, false);
        solver.findAllSolutions();
    }

    @Test(groups = "1s")
    public void testeucli_div() {
        Solver solver = new Solver();
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.