Uses of Interface
it.unibz.inf.ontop.substitution.InjectiveVar2VarSubstitution

Packages that use InjectiveVar2VarSubstitution

Package	Description
it.unibz.inf.ontop.injection
it.unibz.inf.ontop.iq
it.unibz.inf.ontop.iq.impl
it.unibz.inf.ontop.iq.node
it.unibz.inf.ontop.iq.node.impl
it.unibz.inf.ontop.substitution
it.unibz.inf.ontop.substitution.impl

Uses of InjectiveVar2VarSubstitution in it.unibz.inf.ontop.injection

Methods in it.unibz.inf.ontop.injection with parameters of type InjectiveVar2VarSubstitution

Modifier and Type	Method and Description
QueryRenamer	QueryTransformerFactory.createRenamer(InjectiveVar2VarSubstitution injectiveVar2VarSubstitution)

Uses of InjectiveVar2VarSubstitution in it.unibz.inf.ontop.iq

Methods in it.unibz.inf.ontop.iq with parameters of type InjectiveVar2VarSubstitution

Modifier and Type	Method and Description
IQTree	IQTree.applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution) Particular type of descending substitution: only renaming some variables by external ones.
IQTreeCache	IQTreeCache.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution)

Uses of InjectiveVar2VarSubstitution in it.unibz.inf.ontop.iq.impl

Methods in it.unibz.inf.ontop.iq.impl that return types with arguments of type InjectiveVar2VarSubstitution

Modifier and Type	Method and Description
Optional<InjectiveVar2VarSubstitution>	IQTreeTools.extractFreshRenaming(ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables) If the substitution is an fresh renaming, returns it as an injective substitution

Methods in it.unibz.inf.ontop.iq.impl with parameters of type InjectiveVar2VarSubstitution

Modifier and Type	Method and Description
IQTreeCache	ConcreteIQTreeCacheImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution) TODO: explicit assumptions about the effects
IQTree	AbstractCompositeIQTree.applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)
protected IQTree	BinaryNonCommutativeIQTreeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, boolean alreadyNormalized)
protected IQTree	NaryIQTreeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, boolean alreadyNormalized)
protected abstract IQTree	AbstractCompositeIQTree.applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution, boolean alreadyNormalized)
protected IQTree	UnaryIQTreeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, boolean alreadyNormalized)

Constructors in it.unibz.inf.ontop.iq.impl with parameters of type InjectiveVar2VarSubstitution

Constructor and Description
QueryNodeRenamer(IntermediateQueryFactory iqFactory, InjectiveVar2VarSubstitution renamingSubstitution, AtomFactory atomFactory)

Uses of InjectiveVar2VarSubstitution in it.unibz.inf.ontop.iq.node

Methods in it.unibz.inf.ontop.iq.node with parameters of type InjectiveVar2VarSubstitution

Modifier and Type	Method and Description
VariableNullability	VariableNullability.applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)
VariableNullability	DummyVariableNullability.applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution) Deprecated.
IQTree	NaryOperatorNode.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, com.google.common.collect.ImmutableList<IQTree> children, IQTreeCache treeCache)
IQTree	UnaryOperatorNode.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, IQTree child, IQTreeCache treeCache)
IQTree	BinaryOrderedOperatorNode.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, IQTree leftChild, IQTree rightChild, IQTreeCache treeCache)

Uses of InjectiveVar2VarSubstitution in it.unibz.inf.ontop.iq.node.impl

Methods in it.unibz.inf.ontop.iq.node.impl with parameters of type InjectiveVar2VarSubstitution

Modifier and Type	Method and Description
IQTree	EmptyNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)
VariableNullability	DummyVariableNullabilityImpl.applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)
IQTree	NativeNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)
IQTree	TrueNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)
IQTree	IntensionalDataNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)
VariableNullability	VariableNullabilityImpl.applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution)
IQTree	ExtensionalDataNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution freshRenamingSubstitution) Optimized to re-use the variable nullability.
IQTree	InnerJoinNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, com.google.common.collect.ImmutableList<IQTree> children, IQTreeCache treeCache)
IQTree	UnionNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, com.google.common.collect.ImmutableList<IQTree> children, IQTreeCache treeCache)
IQTree	DistinctNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, IQTree child, IQTreeCache treeCache)
IQTree	ConstructionNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, IQTree child, IQTreeCache treeCache)
IQTree	AggregationNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, IQTree child, IQTreeCache treeCache)
IQTree	FilterNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, IQTree child, IQTreeCache treeCache)
IQTree	SliceNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, IQTree child, IQTreeCache treeCache)
IQTree	OrderByNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, IQTree child, IQTreeCache treeCache)
IQTree	LeftJoinNodeImpl.applyFreshRenaming(InjectiveVar2VarSubstitution renamingSubstitution, IQTree leftChild, IQTree rightChild, IQTreeCache treeCache)

Uses of InjectiveVar2VarSubstitution in it.unibz.inf.ontop.substitution

Methods in it.unibz.inf.ontop.substitution that return InjectiveVar2VarSubstitution

Modifier and Type	Method and Description
InjectiveVar2VarSubstitution	SubstitutionFactory.generateNotConflictingRenaming(VariableGenerator variableGenerator, com.google.common.collect.ImmutableSet<Variable> variables)
InjectiveVar2VarSubstitution	SubstitutionFactory.getInjectiveVar2VarSubstitution(Map<Variable,Variable> substitutionMap)
InjectiveVar2VarSubstitution	InjectiveVar2VarSubstitution.reduceDomainToIntersectionWith(com.google.common.collect.ImmutableSet<Variable> restrictingDomain)

Methods in it.unibz.inf.ontop.substitution that return types with arguments of type InjectiveVar2VarSubstitution

Modifier and Type	Method and Description
Optional<InjectiveVar2VarSubstitution>	InjectiveVar2VarSubstitution.composeWithAndPreserveInjectivity(InjectiveVar2VarSubstitution otherSubstitution, Set<Variable> variablesToExcludeFromTheDomain) { (x,y) | (x,y) \in (this o otherSubstitution), x not excluded } Returns Optional.empty() when the resulting substitution is not injective (anymore).

Methods in it.unibz.inf.ontop.substitution with parameters of type InjectiveVar2VarSubstitution

Modifier and Type	Method and Description
Optional<InjectiveVar2VarSubstitution>	InjectiveVar2VarSubstitution.composeWithAndPreserveInjectivity(InjectiveVar2VarSubstitution otherSubstitution, Set<Variable> variablesToExcludeFromTheDomain) { (x,y) | (x,y) \in (this o otherSubstitution), x not excluded } Returns Optional.empty() when the resulting substitution is not injective (anymore).

Uses of InjectiveVar2VarSubstitution in it.unibz.inf.ontop.substitution.impl

Classes in it.unibz.inf.ontop.substitution.impl that implement InjectiveVar2VarSubstitution

Modifier and Type	Class and Description
class	InjectiveVar2VarSubstitutionImpl

Methods in it.unibz.inf.ontop.substitution.impl that return InjectiveVar2VarSubstitution

Modifier and Type	Method and Description
InjectiveVar2VarSubstitution	SubstitutionFactoryImpl.generateNotConflictingRenaming(VariableGenerator variableGenerator, com.google.common.collect.ImmutableSet<Variable> variables) Non-conflicting variable: - initial variable of the variable set not known by the generator - or a fresh variable generated by the generator NOT PRESENT in the variable set
InjectiveVar2VarSubstitution	SubstitutionFactoryImpl.getInjectiveVar2VarSubstitution(Map<Variable,Variable> substitutionMap)
InjectiveVar2VarSubstitution	InjectiveVar2VarSubstitutionImpl.reduceDomainToIntersectionWith(com.google.common.collect.ImmutableSet<Variable> restrictingDomain)

Methods in it.unibz.inf.ontop.substitution.impl that return types with arguments of type InjectiveVar2VarSubstitution

Modifier and Type	Method and Description
Optional<InjectiveVar2VarSubstitution>	InjectiveVar2VarSubstitutionImpl.composeWithAndPreserveInjectivity(InjectiveVar2VarSubstitution g, Set<Variable> variablesToExcludeFromTheDomain)

Methods in it.unibz.inf.ontop.substitution.impl with parameters of type InjectiveVar2VarSubstitution

Modifier and Type	Method and Description
Optional<InjectiveVar2VarSubstitution>	InjectiveVar2VarSubstitutionImpl.composeWithAndPreserveInjectivity(InjectiveVar2VarSubstitution g, Set<Variable> variablesToExcludeFromTheDomain)