[ library(ic) | Reference Manual | Alphabetic Index ]
get_domain_as_list(?Var, -DomainList)
List of all the elements in the IC domain of Var
- Var
- An IC variable or a number
- DomainList
- The domain of Var as a list of elements.
Description
If Var is an integer IC variable, DomainList will be set to an ordered
list containing each element in the domain of Var. If Var is a number,
then DomainList will be set to a singleton list containing the number.
Currently, an out of range exception would be raised if Var is an IC
variable of type real. This may change in the future.
Modes and Determinism
- get_domain_as_list(?, -) is det
Fail Conditions
The initial value of DomainList fails to unify with the returned value.
Exceptions
- (5) type error
- Var is neither an IC variable or number.
- (6) out of range
- Var is a IC variable of type real.
See Also
get_domain / 2, get_bounds / 3