[ library(gfd) | Reference Manual | Alphabetic Index ]
struct gcc(low, high, value)
Bounds specification for gcc constraint.
- Lower bound on the cardinality of Value (integer).
- Upper bound on the cardinality of Value (integer).
- Value whose cardinality is being specified.
This structure is used to specify the cardinality (number of occurrences)
of one value for the gcc constraint.