| Interface | Description |
|---|---|
| Invariant |
An interface for checking invariants of every transformation.
|
| Transformation |
A Transformation describes a transformation and the set of invariants that are expected to hold prior to and after its occurrence.
|
| Class | Description |
|---|---|
| DefaultTransformation |
Abstract class that defines transformation execution and then checking its invariants.
|
| TransformationData |
Data class defining interface for invariants.
|
| TransformationList |
Used to iterate over all transformations, executes them and check their invariants after transformations.
|