diff options
| author | Jannis Harder <harder@informatik.uni-luebeck.de> | 2011-06-14 21:05:15 +0200 |
|---|---|---|
| committer | Jannis Harder <harder@informatik.uni-luebeck.de> | 2011-06-14 21:05:15 +0200 |
| commit | 3ffad8597290f91d21c2a2ba7657bbbc16ab1582 (patch) | |
| tree | f2d4847afdebfc3778b70cca751f81ea4678b5e1 /src/jrummikub/ai/fdsolver/Constraints.java | |
| parent | 751d5a3aa98461bf27f2a21a157e72f8da89406a (diff) | |
| download | JRummikub-3ffad8597290f91d21c2a2ba7657bbbc16ab1582.tar JRummikub-3ffad8597290f91d21c2a2ba7657bbbc16ab1582.zip | |
Implemented initial meld test using new AI
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@441 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/ai/fdsolver/Constraints.java')
| -rw-r--r-- | src/jrummikub/ai/fdsolver/Constraints.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/jrummikub/ai/fdsolver/Constraints.java b/src/jrummikub/ai/fdsolver/Constraints.java index 0885d2a..caa8cfa 100644 --- a/src/jrummikub/ai/fdsolver/Constraints.java +++ b/src/jrummikub/ai/fdsolver/Constraints.java @@ -7,6 +7,7 @@ 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; @@ -46,6 +47,10 @@ public class Constraints { return new SumConstraint(x, y, z); } + public static Constraint sum(Var<Integer> sum, List<Var<Integer>> list) { + return new ListSumConstraint(sum, list); + } + public static <T extends Comparable<T>> Constraint lessThan(Var<T> x, Var<T> y) { return new LessThan<T>(false, x, y); } |