[ library(gfd) | Reference Manual | Alphabetic Index ]

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.

Description

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