| Interface | Description |
|---|---|
| BooleanExpressionPushDownTransformer |
Pushes down the expression as much as possible without creating new sub-queries
(e.g.
|
| DefinitionPushDownTransformer |
Pushes down in the tree a new definition (for a new variable) until:
1.
|
| ExplicitEqualityTransformer | |
| TermTypeTermLiftTransformer |
Makes sure that terms with a MetaTermType only appears in the top construction node
|
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.