it.unibz.inf.ontop.iq.impl

Class ConcreteIQTreeCacheImpl

java.lang.Object

it.unibz.inf.ontop.iq.impl.ConcreteIQTreeCacheImpl

All Implemented Interfaces:

ConcreteIQTreeCache, IQTreeCache

public class ConcreteIQTreeCacheImpl
extends Object
implements ConcreteIQTreeCache

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ConcreteIQTreeCacheImpl(CoreSingletons coreSingletons) Initial constructor
protected	ConcreteIQTreeCacheImpl(CoreSingletons coreSingletons, boolean isNormalizedForOptimization, boolean areDistinctAlreadyRemoved, VariableNullability variableNullability, com.google.common.collect.ImmutableSet<Variable> variables, com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> possibleVariableDefinitions, com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> uniqueConstraints, Boolean isDistinct) Internal constructor

Method Summary

Modifier and Type	Method and Description
IQTreeCache	applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution) TODO: explicit assumptions about the effects
boolean	areDistinctAlreadyRemoved()
IQProperties	convertIntoIQProperties() Temporary
IQTreeCache	declareAsNormalizedForOptimizationWithEffect() TODO: explicit assumptions about the effects of normalization
IQTreeCache	declareAsNormalizedForOptimizationWithoutEffect()
IQTreeCache	declareConstraintPushedDownWithEffect() TODO: explicit assumptions about the effects
IQTreeCache	declareDistinctRemovalWithEffect() TODO: explicit assumptions about the effects
IQTreeCache	declareDistinctRemovalWithoutEffect()
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()
boolean	isNormalizedForOptimization()
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!

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConcreteIQTreeCacheImpl

@Inject
protected ConcreteIQTreeCacheImpl(CoreSingletons coreSingletons)

Initial constructor

ConcreteIQTreeCacheImpl

protected ConcreteIQTreeCacheImpl(CoreSingletons coreSingletons,
                                  boolean isNormalizedForOptimization,
                                  boolean areDistinctAlreadyRemoved,
                                  @Nullable
                                  VariableNullability variableNullability,
                                  @Nullable
                                  com.google.common.collect.ImmutableSet<Variable> variables,
                                  @Nullable
                                  com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> possibleVariableDefinitions,
                                  @Nullable
                                  com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> uniqueConstraints,
                                  @Nullable
                                  Boolean isDistinct)

Internal constructor

Method Detail

isNormalizedForOptimization

public boolean isNormalizedForOptimization()

Specified by:

isNormalizedForOptimization in interface IQTreeCache

areDistinctAlreadyRemoved

public boolean areDistinctAlreadyRemoved()

Specified by:

areDistinctAlreadyRemoved in interface IQTreeCache

getVariables

@Nullable
public com.google.common.collect.ImmutableSet<Variable> getVariables()

Specified by:

getVariables in interface ConcreteIQTreeCache

getVariableNullability

@Nullable
public VariableNullability getVariableNullability()

Specified by:

getVariableNullability in interface ConcreteIQTreeCache

getPossibleVariableDefinitions

@Nullable
public com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> getPossibleVariableDefinitions()

Specified by:

getPossibleVariableDefinitions in interface ConcreteIQTreeCache

getUniqueConstraints

@Nullable
public com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> getUniqueConstraints()

Specified by:

getUniqueConstraints in interface ConcreteIQTreeCache

isDistinct

@Nullable
public Boolean isDistinct()

Specified by:

isDistinct in interface ConcreteIQTreeCache

setVariables

public void setVariables(@Nonnull
                         com.google.common.collect.ImmutableSet<Variable> variables)

Description copied from interface: ConcreteIQTreeCache

Can only be set ONCE!

Specified by:

setVariables in interface ConcreteIQTreeCache

declareAsNormalizedForOptimizationWithoutEffect

public IQTreeCache declareAsNormalizedForOptimizationWithoutEffect()

Specified by:

declareAsNormalizedForOptimizationWithoutEffect in interface IQTreeCache

declareAsNormalizedForOptimizationWithEffect

public IQTreeCache declareAsNormalizedForOptimizationWithEffect()

TODO: explicit assumptions about the effects of normalization

Specified by:

declareAsNormalizedForOptimizationWithEffect in interface IQTreeCache

declareConstraintPushedDownWithEffect

public IQTreeCache declareConstraintPushedDownWithEffect()

TODO: explicit assumptions about the effects

Specified by:

declareConstraintPushedDownWithEffect in interface IQTreeCache

declareDistinctRemovalWithoutEffect

public IQTreeCache declareDistinctRemovalWithoutEffect()

Specified by:

declareDistinctRemovalWithoutEffect in interface IQTreeCache

declareDistinctRemovalWithEffect

public IQTreeCache declareDistinctRemovalWithEffect()

TODO: explicit assumptions about the effects

Specified by:

declareDistinctRemovalWithEffect in interface IQTreeCache

setVariableNullability

public void setVariableNullability(VariableNullability variableNullability)

Description copied from interface: ConcreteIQTreeCache

Can only be set ONCE!

Specified by:

setVariableNullability in interface ConcreteIQTreeCache

setPossibleVariableDefinitions

public void setPossibleVariableDefinitions(@Nonnull
                                           com.google.common.collect.ImmutableSet<ImmutableSubstitution<NonVariableTerm>> possibleVariableDefinitions)

Description copied from interface: ConcreteIQTreeCache

Can only be set ONCE!

Specified by:

setPossibleVariableDefinitions in interface ConcreteIQTreeCache

setUniqueConstraints

public void setUniqueConstraints(com.google.common.collect.ImmutableSet<com.google.common.collect.ImmutableSet<Variable>> uniqueConstraints)

Description copied from interface: ConcreteIQTreeCache

Can only be set ONCE!

Specified by:

setUniqueConstraints in interface ConcreteIQTreeCache

setIsDistinct

public void setIsDistinct(@Nonnull
                          Boolean isDistinct)

Description copied from interface: ConcreteIQTreeCache

Can only be set ONCE!

Specified by:

setIsDistinct in interface ConcreteIQTreeCache

convertIntoIQProperties

public IQProperties convertIntoIQProperties()

Description copied from interface: ConcreteIQTreeCache

Temporary

Specified by:

convertIntoIQProperties in interface ConcreteIQTreeCache

applyFreshRenaming

public IQTreeCache applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution)

TODO: explicit assumptions about the effects

Specified by:

applyFreshRenaming in interface IQTreeCache