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

#(?Min, ?Cstrs, ?Max)

The cardinality operator
Min
Integer or domain variable
Cstrs
A list of constraint expressions
Max
Integer or domain variable

Description

This is a meta constraint known in the literature as the cardinality operator. CstList is a list of constraint expressions and this operator states that at least Min and at most Max out of them are valid.

See Also

#/\ / 3, isd / 2