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

dvar_remove_smaller(+DVar, +El)

Remove all elements in the domain of DVar which are smaller 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 smaller 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