| Interface | Description |
|---|---|
| IntermediateQueryPrinter |
Prints the tree of an IntermediateQuery
|
| QueryTreeComponent |
Mutable component used for internal implementations of IntermediateQuery.
|
| Class | Description |
|---|---|
| AbstractCompositeIQTree<N extends QueryNode> | |
| BasicQueryTreePrinter |
TODO: explain
|
| BinaryNonCommutativeIQTreeImpl | |
| ConcreteIQTreeCacheImpl | |
| IntermediateQueryImpl |
TODO: describe
BEWARE: this class has a non-trivial mutable internal state!
|
| IQImpl | |
| IQPropertiesImpl | |
| IQTreeTools | |
| NaryIQTreeImpl | |
| QueryNodeRenamer |
Renames query nodes according to one renaming substitution.
|
| UnaryIQTreeImpl |
| Exception | Description |
|---|---|
| IntermediateQueryImpl.InconsistentIntermediateQueryException |
Thrown when the internal state of the intermediate query is found to be inconsistent.
|
| IQTreeTools.UnsatisfiableDescendingSubstitutionException |
Typically thrown when a "null" variable is propagated down
|
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.