public abstract class DataNodeImpl<P extends AtomPredicate> extends LeafIQTreeImpl
iqFactory| Modifier | Constructor and Description |
|---|---|
protected |
DataNodeImpl(DataAtom<P> atom,
IQTreeTools iqTreeTools,
IntermediateQueryFactory iqFactory) |
| Modifier and Type | Method and Description |
|---|---|
com.google.common.collect.ImmutableSet<Variable> |
getKnownVariables()
Variables present in the tree
|
com.google.common.collect.ImmutableSet<Variable> |
getLocallyDefinedVariables()
Locally defined variables must not appear in the sub-tree
|
com.google.common.collect.ImmutableSet<Variable> |
getLocallyRequiredVariables()
Set of variables that this node, INDEPENDENTLY OF THE REQUIREMENTS OF ITS ANCESTORS,
requires to be defined in the sub-tree.
|
com.google.common.collect.ImmutableSet<Variable> |
getLocalVariables()
Set of variables MENTIONED in the node, INDEPENDENTLY of its sub-tree.
|
DataAtom<P> |
getProjectionAtom() |
com.google.common.collect.ImmutableSet<Variable> |
getRequiredVariables(IntermediateQuery query)
Set of variables which, individually, must be provided by at least one child,
INDEPENDENTLY OF THE REQUIREMENTS OF THIS NODE'S ANCESTORS.
|
com.google.common.collect.ImmutableSet<Variable> |
getVariables()
Set of variables returned by any sub-tree where this node is the root.
|
boolean |
isDeclaredAsEmpty()
Returns true if corresponds to a EmptyNode
|
applyDescendingSubstitution, getChildren, getPossibleVariableDefinitions, getRootNode, isConstructed, isEquivalentTo, liftIncompatibleDefinitions, normalizeForOptimization, propagateDownConstraint, removeDistincts, replaceSubTreecloneequals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitacceptNodeTransformeracceptTransformer, acceptVisitor, applyDescendingSubstitutionWithoutOptimizing, applyFreshRenaming, getNotInternallyRequiredVariables, getVariableNullability, inferUniqueConstraints, isDistinct, isLeaf, validateacceptVisitor, clone, isEquivalentTo, isSyntacticallyEquivalentTo, isVariableNullableprotected DataNodeImpl(DataAtom<P> atom, IQTreeTools iqTreeTools, IntermediateQueryFactory iqFactory)
public com.google.common.collect.ImmutableSet<Variable> getVariables()
ExplicitVariableProjectionNodepublic com.google.common.collect.ImmutableSet<Variable> getLocalVariables()
QueryNodepublic com.google.common.collect.ImmutableSet<Variable> getLocallyRequiredVariables()
QueryNodepublic com.google.common.collect.ImmutableSet<Variable> getLocallyDefinedVariables()
QueryNodepublic com.google.common.collect.ImmutableSet<Variable> getRequiredVariables(IntermediateQuery query)
QueryNodepublic com.google.common.collect.ImmutableSet<Variable> getKnownVariables()
IQTreepublic boolean isDeclaredAsEmpty()
IQTreeCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.