[ 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