From e06ba8ea1346e5045a34508648ac93150aacb01a Mon Sep 17 00:00:00 2001 From: Jannis Harder Date: Fri, 17 Jun 2011 17:41:52 +0200 Subject: Reimplemented AI (old one was too slow) git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@443 72836036-5685-4462-b002-a69064685172 --- src/jrummikub/ai/fdsolver/Constraints.java | 61 ------------------------------ 1 file changed, 61 deletions(-) delete mode 100644 src/jrummikub/ai/fdsolver/Constraints.java (limited to 'src/jrummikub/ai/fdsolver/Constraints.java') diff --git a/src/jrummikub/ai/fdsolver/Constraints.java b/src/jrummikub/ai/fdsolver/Constraints.java deleted file mode 100644 index caa8cfa..0000000 --- a/src/jrummikub/ai/fdsolver/Constraints.java +++ /dev/null @@ -1,61 +0,0 @@ -package jrummikub.ai.fdsolver; - -import java.util.List; - -import jrummikub.ai.fdsolver.constraint.Filter; -import jrummikub.ai.fdsolver.constraint.FilterConstraint; -import jrummikub.ai.fdsolver.constraint.IfConstraint; -import jrummikub.ai.fdsolver.constraint.IndexConstraint; -import jrummikub.ai.fdsolver.constraint.LessThan; -import jrummikub.ai.fdsolver.constraint.ListSumConstraint; -import jrummikub.ai.fdsolver.constraint.OffsetConstraint; -import jrummikub.ai.fdsolver.constraint.SameConstraint; -import jrummikub.ai.fdsolver.constraint.SumConstraint; - -public class Constraints { - public static Constraint when(Var cond, Constraint c) { - return new IfConstraint(false, cond, c); - } - - public static Constraint unless(Var cond, Constraint c) { - return new IfConstraint(true, cond, c); - } - - - public static Constraint index(Var target, Var index, List> list) { - return new IndexConstraint(target, index, list); - } - - public static Constraint constant(Var target, final T constant) { - return new FilterConstraint(new Filter() { - @Override - public boolean accept(T value) { - return value.equals(constant); - } - }, target); - } - - public static Constraint offset(int offset, Var x, Var y) { - return new OffsetConstraint(offset, x, y); - } - - public static Constraint same(Var x, Var y) { - return new SameConstraint(x, y); - } - - public static Constraint sum(Var x, Var y, Var z) { - return new SumConstraint(x, y, z); - } - - public static Constraint sum(Var sum, List> list) { - return new ListSumConstraint(sum, list); - } - - public static > Constraint lessThan(Var x, Var y) { - return new LessThan(false, x, y); - } - - public static > Constraint lessThanEq(Var x, Var y) { - return new LessThan(true, x, y); - } -} -- cgit v1.2.3