Expand description
Cardinality constraint encoders.
Structs§
- CcConfig
- Configuration for the
CcEncoder. - CcEncoder
- An encoder for cardinality constraints.
- CcIncremental
Data - Incremental data for an at-most-k cardinality constraint. When an at-most-k cardinality constraint is constructed, it is possible to save incremental data with it. Then one can modify the constraint after it was created by tightening the original bound.
Enums§
- AlkEncoder
- The encoder for at-least-k constraints.
- AmkEncoder
- The encoder for at-most-k constraints.
- AmoEncoder
- The encoder for at-most-one and exactly-one constraints.
- Bimander
Group Size - The group size for the Bimander encoding.
- ExkEncoder
- The encoder for exactly-k constraints.
Traits§
- Encoding
Result - The result of an encoding.