Class | Description |
---|---|
AbstractCardinalityDataStructure | |
AbstractDataStructureFactory | |
CardinalityDataStructure | |
CardinalityDataStructureYanMax | |
CardinalityDataStructureYanMin | |
ClausalDataStructureWL | |
MixedDataStructureDanielHT |
Uses specific data structure for cardinality constraints.
|
MixedDataStructureDanielWL | |
MixedDataStructureSingleWL |