[ library(clpfd) | Reference Manual | Alphabetic Index ]

fd_size(?Var,-Size)

See Also

ic : get_domain_size / 2