[ 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

<ConsistencyModule:> all_lt(?Collection,?Y)

Description

Examples

See Also