| Interface | Description |
|---|---|
| AbstractBound |
A bound constrains the possible values of a relation for a
|
| Class | Description |
|---|---|
| ExactBound |
An exact bound defines a relation with a constant value by a
TupleSet |
| SubsetBound |
This bound is used for variables.
|
| TypeBound |
This bound is used to define which values a type relation can have.
|