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

ic_excl_range(+Attr, ++Lo, ++Hi)

Exclude the elements Lo..Hi from the given attribute.
Attr
An IC attribute
Lo
Lower bound of range to exclude
Hi
Upper bound of range to exclude

Description

Lowelevel predicate which removes the integers Lo..Hi from the IC attribute given.

Typicaly not called directly but indirectly through excl_range/3 which works on variables.

See Also

excl_range / 3