de.stups.probkodkod.bounds

Interfaces

• AbstractBound

Classes

• ExactBound
• SubsetBound
• TypeBound