- getChildren
- getRootNode
- acceptTransformer
- getKnownVariables
Variables present in the tree
- getPossibleVariableDefinitions
Returns a set of substitutions that define the projected variables when they are
constructed. Guaran
- getVariableNullability
- isDeclaredAsEmpty
Returns true if corresponds to a EmptyNode
- liftBinding
- applyDescendingSubstitution
Applies the descending substitution and performs SOME optimizations. Designed to
be called DURING th
- applyDescendingSubstitutionWithoutOptimizing
Applies the descending substitution WITHOUT applying any additional
optimization. Designed to be cal
- getVariables
Variables projected by the tree
- replaceSubTree
If subTreeToReplace is not found, has no effect (besides creating a novel copy).