[ 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