[ library(fd) | Reference Manual | Alphabetic 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.
See Also
dom_check_in / 2, dom_range / 3, dvar_domain / 2