[ library(fd) | Reference Manual | Alphabetic Index ]
dvar_remove_greater(+DVar, +El)
Remove all elements in the domain of DVar which are greater than the
integer El and wake all concerned lists.
- +DVar
- A domain variable.
- +El
- An atomic term.
Description
Remove all elements in the domain of DVar which are greater than the
integer El and wake all concerned lists. If the resulting domain is
empty, this predicate fails, if it is a singleton, DVar is instantiated.
Fail Conditions
None.
Resatisfiable
No.
See Also
dvar_attribute / 2, :: / 2, #:: / 2