public static interface ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization
| Modifier and Type | Method and Description |
|---|---|
Optional<ConstructionNode> |
generateTopConstructionNode() |
ImmutableSubstitution<ImmutableTerm> |
getNormalizedSubstitution() |
IQTree |
updateChild(IQTree child) |
ImmutableExpression |
updateExpression(ImmutableExpression expression) |
Optional<ConstructionNode> generateTopConstructionNode()
ImmutableExpression updateExpression(ImmutableExpression expression)
ImmutableSubstitution<ImmutableTerm> getNormalizedSubstitution()
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.