[ 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