[ library(gfd) | Reference Manual | Alphabetic Index ]

# get_domain_as_list(?Var, -DomainList)

List of all the elements in the GFD domain of Var

Var
  A domain variable or a number
DomainList
  The domain of Var as a list of elements.

## Description

If Var is a GFD domain 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.

### 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 a GFD variable or integer.

## Examples

     [eclipse 9]: X :: [1..5,10], get_domain_as_list(X, D).

    X = X{[1 .. 5, 10]}
    D = [1, 2, 3, 4, 5, 10]

## See Also

get_domain / 2, get_bounds / 3