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