public interface DataNode<P extends AtomPredicate> extends LeafIQTree
| Modifier and Type | Method and Description |
|---|---|
DataAtom<P> |
getProjectionAtom()
Data atom containing the projected variables
|
DataNode<P> |
newAtom(DataAtom<P> newAtom)
Returns a new DataNode of the same type that will use the new atom
|
acceptNodeTransformer, getRootNodeacceptTransformer, acceptVisitor, applyDescendingSubstitution, applyDescendingSubstitutionWithoutOptimizing, applyFreshRenaming, getChildren, getKnownVariables, getPossibleVariableDefinitions, getVariableNullability, getVariables, inferUniqueConstraints, isConstructed, isDeclaredAsEmpty, isDistinct, isEquivalentTo, isLeaf, liftIncompatibleDefinitions, normalizeForOptimization, propagateDownConstraint, removeDistincts, replaceSubTree, validategetVariablesacceptVisitor, clone, getLocallyDefinedVariables, getLocallyRequiredVariables, getLocalVariables, getRequiredVariables, isEquivalentTo, isSyntacticallyEquivalentTo, isVariableNullableCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.