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

#(?Set, ?Card)

Card is the cardinality of the integer set Set
Set
a set, set variable or set expression
Card
a variable, finite domain variable, or integer

Description

This is a constraint for the cardinality of the set Set. Any changes in the potential cardinality of Set will be reflected in the finite domain of Card. Restricting the domain of Card will restrict the potential cardinality of Set.

Exceptions

(4) instantiation fault
Set is a variable, but not a set variable