[ ECLiPSe Control built-in.|Group Index|
Full 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.
This predicate will probably be replaced by another mechnism in future
releases.
Fail Conditions
None
Resatisfiable
No.
Exceptions
Examples
See Also