
struct occ(occ, value)

   Bounds specification for gcc constraint.

Fields
   occ                 Domain variable or integer specifying the cardinality of Value.
   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.


