[ library(fd) | Reference Manual | Alphabetic Index ]
dvar_attribute(+DVar, ?Attrib)
Attrib is the attribute of the domain variable DVar.
- +DVar
- A domain variable.
- ?Attrib
- Any Prolog term.
Description
Attrib is the attribute of the domain variable DVar. If DVar is
instantiated, Attrib is bound to an attribute with a singleton domain
and empty suspension lists.
Fail Conditions
None.
Resatisfiable
No.
See Also
#:: / 3, dvar_domain / 2, :: / 2, #:: / 2