summaryrefslogtreecommitdiffstats
path: root/test/jrummikub/ai
diff options
context:
space:
mode:
authorJannis Harder <harder@informatik.uni-luebeck.de>2011-06-08 16:23:18 +0200
committerJannis Harder <harder@informatik.uni-luebeck.de>2011-06-08 16:23:18 +0200
commitce1b716e128bef53b140344bf1e58960fa32cba6 (patch)
tree6b0023f7850321f6784840b7e14359831cfffe2a /test/jrummikub/ai
parent25e6f3ec4642c38df23dbd2e8ca1a3a30059a7dd (diff)
downloadJRummikub-ce1b716e128bef53b140344bf1e58960fa32cba6.tar
JRummikub-ce1b716e128bef53b140344bf1e58960fa32cba6.zip
Created first FD-Solver test
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@385 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'test/jrummikub/ai')
-rw-r--r--test/jrummikub/ai/fdsolver/SolverTest.java28
1 files changed, 28 insertions, 0 deletions
diff --git a/test/jrummikub/ai/fdsolver/SolverTest.java b/test/jrummikub/ai/fdsolver/SolverTest.java
new file mode 100644
index 0000000..3798423
--- /dev/null
+++ b/test/jrummikub/ai/fdsolver/SolverTest.java
@@ -0,0 +1,28 @@
+package jrummikub.ai.fdsolver;
+
+import static org.junit.Assert.assertEquals;
+
+import java.util.Arrays;
+
+import org.junit.Test;
+
+public class SolverTest {
+ @Test
+ public void test() {
+ Solver solver = new Solver();
+
+ Var<Integer> x = new Var<Integer>(solver, Arrays.asList(1, 2, 3));
+ Var<Integer> y = Var.range(solver, 1,13);
+
+ Constraints.lessThan(solver, y, x);
+
+ while(solver.solve()) {
+ solver.push();
+ Constraints.lessThan(solver, x, x.getValue());
+ }
+ solver.pop();
+
+ assertEquals(2, (int)x.getValue());
+ assertEquals(1, (int)y.getValue());
+ }
+}