IQTreeCache (ontop-model 4.0.3-owlapi5.17-guava-shaded API)

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`IQTreeCache`	`applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution)`
`boolean`	`areDistinctAlreadyRemoved()`
`IQTreeCache`	`declareAsNormalizedForOptimizationWithEffect()`
`IQTreeCache`	`declareAsNormalizedForOptimizationWithoutEffect()`
`IQTreeCache`	`declareConstraintPushedDownWithEffect()` TODO: consider if we should keep track of the constraint
`IQTreeCache`	`declareDistinctRemovalWithEffect()`
`IQTreeCache`	`declareDistinctRemovalWithoutEffect()`
`boolean`	`isNormalizedForOptimization()`

IQTreeCache declareAsNormalizedForOptimizationWithoutEffect()

IQTreeCache declareAsNormalizedForOptimizationWithEffect()

declareConstraintPushedDownWithEffect
```
IQTreeCache declareConstraintPushedDownWithEffect()
```
TODO: consider if we should keep track of the constraint

IQTreeCache declareDistinctRemovalWithoutEffect()

IQTreeCache declareDistinctRemovalWithEffect()

IQTreeCache applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution)

Interface IQTreeCache