[ 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