Class Summary |
AllDifferent |
Standard alldiff constraint with generalized AC
integer valued variables are used only for the left vertex set
no explicit variables are used for the right vertex set
the right vertex set is the interval (minValue .. maxValue) |
GlobalCardinality |
very simple version of the cardinality constraint where the values
the set of values whose occurrences are counted in the interval (minValue .. maxValue) |
GlobalCardinalityVar |
Simple implementation of global cardinality constraint with occurrence constrained by
variables and not only integer bounds. |