[ ECLiPSe Finite Domain built-in.|Group Index|
Full Index]
dom_size(+Dom, ?Size)
Size is the number of elements in the domain Dom.
- +Dom
- A finite domain.
- ?Size
- An integer or a variable.
Description
Size is the number of elements in the domain Dom.
Fail Conditions
None.
Resatisfiable
No.
Exceptions
Examples
See Also
dom_check_in / 2, dom_range / 3, dvar_domain / 2