[ ECLiPSe Finite Domain built-in.|Group Index|
Full 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.
Exceptions
Examples
See Also
dvar_attribute / 2, :: / 2