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

# get_domain_size(?Var, -Size)

Size is the number of integer elements in the GFD domain for Var

Var
  A domain variable or an integer
Size
  A variable (or integer)

## Description

If Var is an GFD domain variable, Size will be set to the number of integer values in the domain of Var. If Var is a number, then Size will be set to 1.

### Modes and Determinism

- get_domain_size(?, -) is det

### Fail Conditions

The initial value of Size fails to unify with the returned value.

### Exceptions

(5) type error
  Var is neither a GFD variable or integer.

## See Also

get_delta / 2