[ 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