public interface ConcreteIQTreeCache extends IQTreeCache
| Modifier and Type | Method and Description |
|---|---|
IQProperties |
convertIntoIQProperties()
Deprecated.
|
com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> |
getPossibleVariableDefinitions() |
com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> |
getUniqueConstraints() |
VariableNullability |
getVariableNullability() |
com.google.common.collect.ImmutableSet<Variable> |
getVariables() |
Boolean |
isDistinct() |
void |
setIsDistinct(Boolean isDistinct)
Can only be set ONCE!
|
void |
setPossibleVariableDefinitions(com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> possibleVariableDefinitions)
Can only be set ONCE!
|
void |
setUniqueConstraints(com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> uniqueConstraints)
Can only be set ONCE!
|
void |
setVariableNullability(VariableNullability variableNullability)
Can only be set ONCE!
|
void |
setVariables(com.google.common.collect.ImmutableSet<Variable> variables)
Can only be set ONCE!
|
applyFreshRenaming, areDistinctAlreadyRemoved, declareAsNormalizedForOptimizationWithEffect, declareAsNormalizedForOptimizationWithoutEffect, declareConstraintPushedDownWithEffect, declareDistinctRemovalWithEffect, declareDistinctRemovalWithoutEffect, isNormalizedForOptimization@Nullable VariableNullability getVariableNullability()
@Nullable com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> getPossibleVariableDefinitions()
@Nullable com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> getUniqueConstraints()
void setVariables(@Nonnull com.google.common.collect.ImmutableSet<Variable> variables)
void setVariableNullability(@Nonnull VariableNullability variableNullability)
void setPossibleVariableDefinitions(@Nonnull com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> possibleVariableDefinitions)
void setUniqueConstraints(@Nonnull com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> uniqueConstraints)
@Deprecated IQProperties convertIntoIQProperties()
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.