[ library(gfd) | Reference Manual | Alphabetic Index ]
# <ConsistencyModule:> all_lt(?Collection,?Y)

Constrains Collection to be less than Y.
*Collection*
- Collection of integers or (domain) variables
*Y*
- An integer or (domain) variable (array notation accepted)

## Description

Constrains every element in Collection to be less than Y.
ConsistencyModule is the optional module specification to give the
consistency level for the propagation for this constraint:
gfd_bc for bounds consistency, and gfd_gac for domain (generalised
arc) consistency.

This constraint is known as arith (with the less than relation) in
the Global Constraint Catalog. This constraint is
implemented using Gecode's rel() constraint.

## Examples

[eclipse 16]: all_lt([A,B,C,D], 3).
A = A{[-1000000 .. 2]}
B = B{[-1000000 .. 2]}
C = C{[-1000000 .. 2]}
D = D{[-1000000 .. 2]}
[eclipse 17]: all_lt([0,1,2], 3). % succeeds
[eclipse 18]: all_lt([0,1,2,3], 3). % fails

## See Also

#=< / 2, all_le / 2, all_gt / 2, all_ge / 2, all_ne / 2, all_eq / 2