| Class | Description |
|---|---|
| BooleanExpressionPushDownTransformerImpl | |
| BooleanExpressionPusher |
Tries to push down the expression given.
|
| DefaultTermTypeTermVisitingTreeTransformer |
Lifts meta term type definitions are blocked by unions.
|
| DefinitionPushDownTransformerImpl | |
| ExplicitEqualityTransformerImpl | |
| RDFTypeDependentSimplifyingTransformer |
TODO: find a better name
|
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.