blob: 535ef574cbace615a3e9878e4d3f377be5e19ca6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
package jrummikub.ai.fdsolver;
import static org.junit.Assert.assertEquals;
import jrummikub.ai.fdsolver.constraint.LessThan;
import jrummikub.ai.fdsolver.constraint.LessThanConst;
import org.junit.Test;
public class SolverTest {
@Test
public void test() {
Solver solver = new Solver();
Var<Integer> x = solver.makeVar(1, 2, 3);
Var<Integer> y = solver.makeRangeVar(1, 13);
solver.addConstraint(new LessThan<Integer>(false, y, x));
int lastx = 0, lasty = 0;
while (solver.solve()) {
lastx = x.getValue();
lasty = y.getValue();
solver.addConstraint(new LessThanConst<Integer>(false, x, x.getValue()));
}
assertEquals(2, lastx);
assertEquals(1, lasty);
}
}
|