[ library(ic_kernel) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
ic_excl(+Attr, ++Excl)
Exclude the element Excl from the given attribute.
- Attr
- An IC attribute
- Excl
- Value to exclude
Description
Lowelevel predicate which removes the integer Excl
from the IC attribute given.
Typicaly not called directly but indirectly through
excl/2 which works on variables.
See Also
excl / 2