[ 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