
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.

Type
   library(gfd)

Description
    This structure is used to specify the cardinality (number of occurrences)
    of one value for the gcc constraint.


