[ library(fd) | Reference Manual | Alphabetic Index ]
dvar_domain(+DVar, -Dom)
Dom is the domain of the domain variable DVar.
- +DVar
- A domain variable.
- -Dom
- A variable.
Description
Dom is the domain of the domain variable DVar. If DVar is instantiated,
Dom is bound to a singleton domain.
Fail Conditions
None.
Resatisfiable
No.
See Also
dvar_attribute / 2, :: / 2, #:: / 2