public class DistinctNormalizerImpl extends Object implements DistinctNormalizer
| Modifier and Type | Method and Description |
|---|---|
IQTree |
createNormalizedTree(InjectiveBindingLiftState state,
IQProperties currentIQProperties,
VariableGenerator variableGenerator) |
IQTree |
normalizeForOptimization(DistinctNode distinctNode,
IQTree child,
VariableGenerator variableGenerator,
IQProperties currentIQProperties) |
public IQTree normalizeForOptimization(DistinctNode distinctNode, IQTree child, VariableGenerator variableGenerator, IQProperties currentIQProperties)
normalizeForOptimization in interface DistinctNormalizerpublic IQTree createNormalizedTree(InjectiveBindingLiftState state, IQProperties currentIQProperties, VariableGenerator variableGenerator)
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.