it.unibz.inf.ontop.substitution

Interface InjectiveVar2VarSubstitution

All Superinterfaces:

ImmutableSubstitution<Variable>, ProtoSubstitution<Variable>, Var2VarSubstitution

All Known Implementing Classes:

InjectiveVar2VarSubstitutionImpl

public interface InjectiveVar2VarSubstitution
extends Var2VarSubstitution

Var2VarSubstitution that is injective (no value in the substitution map is shared by two keys)

Method Summary

Modifier and Type	Method and Description
<T extends ImmutableTerm> ImmutableSubstitution<T>	applyRenaming(ImmutableSubstitution<T> substitutionToRename) Applies it (the Var2VarSubstitution) on the keys and values of the given substitution.
Optional<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).
InjectiveVar2VarSubstitution	reduceDomainToIntersectionWith(com.google.common.collect.ImmutableSet<Variable> restrictingDomain) Reduces the substitution's domain to its intersection with the argument domain

Methods inherited from interface it.unibz.inf.ontop.substitution.Var2VarSubstitution

applyToNonGroundTerm, applyToSubstitution, applyToTerm, applyToVariable, composeWithVar2Var

Methods inherited from interface it.unibz.inf.ontop.substitution.ImmutableSubstitution

applyToDataAtom, applyToDistinctVariableOnlyDataAtom, applyToTarget, composeWith, composeWith2, convertIntoBooleanExpression, getFunctionalTermFragment, getGroundFunctionalTermFragment, getGroundTermFragment, getNonFunctionalTermFragment, getNonGroundFunctionalTermFragment, getNonVariableTermFragment, getVar2VarFragment, getVariableOrGroundTermFragment, orientate, simplifyValues, simplifyValues, union, unionHeterogeneous

Methods inherited from interface it.unibz.inf.ontop.substitution.ProtoSubstitution

apply, apply, applyToBooleanExpression, applyToFunctionalTerm, get, getDomain, getImmutableMap, isDefining, isEmpty

Method Detail

applyRenaming

<T extends ImmutableTerm> ImmutableSubstitution<T> applyRenaming(ImmutableSubstitution<T> substitutionToRename)

Applies it (the Var2VarSubstitution) on the keys and values of the given substitution.

composeWithAndPreserveInjectivity

Optional<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). Variables to exclude from the domain are typically fresh temporary variables that can be ignored. Ignoring them is sufficient in many cases to guarantee that the substitution is injective.

reduceDomainToIntersectionWith

InjectiveVar2VarSubstitution reduceDomainToIntersectionWith(com.google.common.collect.ImmutableSet<Variable> restrictingDomain)

Description copied from interface: ImmutableSubstitution

Reduces the substitution's domain to its intersection with the argument domain

Specified by:

reduceDomainToIntersectionWith in interface ImmutableSubstitution<Variable>