[ Advanced Control and Suspensions | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
notify_constrained(-AttrVar)
Notify the system that the attributed variable was constrained.
- -AttrVar
- An attributed variable or any term
Description
When an extension package recognizes that new constraints have been
imposed on a particular attributed variable, it must notify the system
about it, so that other packages (e.g. Propia) or system primitives
(e.g. guards) can deliver proper results.
Fail Conditions
None
Resatisfiable
No.
See Also