[ 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