[ library(gfd) | Reference Manual | Alphabetic Index ]

# <ConsistencyModule:> all_gt(?Collection,?Y)

Constrains Collection to be greater 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 greater 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

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

## Examples

    [eclipse 27]: all_gt([4,5,6,7], 4).      % succeed

    [eclipse 28]: all_gt([5,6,7], 4).        % fail

## See Also

#< / 2, all_le / 2, all_lt / 2, all_ge / 2, all_ne / 2, all_eq / 2