diff options
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); } |