| Class | Description |
|---|---|
| LanguageAlgorithm |
Algorithm to compute and print a type graph language.
|
| MaterializationConstructionAlgorithm |
Algorithm to compute the rewritable materialization.
|
| PostconditionConstructionAlgorithm |
Algorithm to compute the postcondition of a graph language wrt. a GTS.
|