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