[ 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