[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

ac_eq(?X, ?Y, ++C)

Arc-consistent implementation of X #= Y + C.
X
Variable or integer
Y
Variable or integer
C
Integer constant

Description

This constraint implements an arc-consistent version of X #= Y + C (i.e. any "holes" in the domain of X are propagated to Y and vice-versa).

A range error is thrown if X and Y do not have "reasonable" bounds (roughly +/- 2^30 on a 32-bit machine, roughly +/- 2^52 on a 64-bit machine: note that even much smaller bounds than this can lead to available memory being exhausted very rapidly, if not immediately).

See Also

#= / 2