public interface UnaryIQTree extends CompositeIQTree<UnaryOperatorNode>
| Modifier and Type | Method and Description |
|---|---|
IQTree |
getChild() |
getRootNodeacceptTransformer, acceptVisitor, applyDescendingSubstitution, applyDescendingSubstitutionWithoutOptimizing, applyFreshRenaming, applyFreshRenamingToAllVariables, getChildren, getKnownVariables, getNotInternallyRequiredVariables, getPossibleVariableDefinitions, getVariableNullability, getVariables, inferUniqueConstraints, isConstructed, isDeclaredAsEmpty, isDistinct, isEquivalentTo, isLeaf, liftIncompatibleDefinitions, normalizeForOptimization, propagateDownConstraint, removeDistincts, replaceSubTree, validateIQTree getChild()
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.