Created first FD-Solver test

git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@385 72836036-5685-4462-b002-a69064685172

src/jrummikub/ai/fdsolver/Constraint.java

@@ -0,0 +1,5 @@
+package jrummikub.ai.fdsolver;
+
+public interface Constraint {
+	
+}

src/jrummikub/ai/fdsolver/Constraints.java

@@ -0,0 +1,13 @@
+package jrummikub.ai.fdsolver;
+
+public class Constraints {
+
+	public static <T extends Comparable<T>> void lessThan(Solver solver, Var<T> x, Var<T> y) {
+		// TODO Auto-generated method stub
+	}
+
+	public static <T extends Comparable<T>> void lessThan(Solver solver, Var<T> x, T y) {
+		// TODO Auto-generated method stub
+	}
+
+}

src/jrummikub/ai/fdsolver/LessThan.java

@@ -0,0 +1,9 @@
+package jrummikub.ai.fdsolver;
+
+public class LessThan<T> implements Constraint {
+
+	public LessThan(Var<T> x, Var<T> y) {
+		// TODO Auto-generated constructor stub
+	}
+
+}

src/jrummikub/ai/fdsolver/Solver.java

@@ -0,0 +1,25 @@
+package jrummikub.ai.fdsolver;
+
+public class Solver {
+
+	public void add(Constraint constraint) {
+		// TODO Auto-generated method stub
+		
+	}
+
+	public boolean solve() {
+		// TODO Auto-generated method stub
+		return false;
+	}
+
+	public void push() {
+		// TODO Auto-generated method stub
+		
+	}
+
+	public void pop() {
+		// TODO Auto-generated method stub
+		
+	}
+
+}

src/jrummikub/ai/fdsolver/Var.java

@@ -0,0 +1,25 @@
+package jrummikub.ai.fdsolver;
+
+import java.util.Collection;
+import java.util.HashSet;
+import java.util.Set;
+
+public class Var<T> {
+	Set<T> range;
+	
+	public Var(Solver solver, Collection<T> range) {
+		this.range = new HashSet<T>(range);
+	}
+
+	public static <T> Var<T> range(Solver solver, T low, T high) {
+		// TODO todo todo todo
+		return null;
+	}
+
+	public T getValue() {
+		if (range.size() != 1)
+			return null;
+		return range.iterator().next();
+	}
+
+}