it.unibz.inf.ontop.substitution.impl

Class InjectiveVar2VarSubstitutionImpl

java.lang.Object

it.unibz.inf.ontop.substitution.impl.AbstractProtoSubstitution<T>

it.unibz.inf.ontop.substitution.impl.AbstractImmutableSubstitutionImpl<Variable>

it.unibz.inf.ontop.substitution.impl.Var2VarSubstitutionImpl

it.unibz.inf.ontop.substitution.impl.InjectiveVar2VarSubstitutionImpl

All Implemented Interfaces:

ImmutableSubstitution<Variable>, InjectiveVar2VarSubstitution, ProtoSubstitution<Variable>, Var2VarSubstitution

public class InjectiveVar2VarSubstitutionImpl
extends Var2VarSubstitutionImpl
implements InjectiveVar2VarSubstitution

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	InjectiveVar2VarSubstitutionImpl(Map<Variable,Variable> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory) Regular constructor

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.
<T extends ImmutableTerm> Optional<ImmutableSubstitution<T>>	applyToSubstitution(ImmutableSubstitution<T> substitution) More efficient implementation
Optional<InjectiveVar2VarSubstitution>	composeWithAndPreserveInjectivity(InjectiveVar2VarSubstitution g, 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(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> restrictingDomain) Reduces the substitution's domain to its intersection with the argument domain

Methods inherited from class it.unibz.inf.ontop.substitution.impl.Var2VarSubstitutionImpl

applyToNonGroundTerm, applyToTerm, applyToVariable, composeRenaming, composeWithVar2Var, constructNewSubstitution, get, getDomain, getGroundTermFragment, getImmutableMap, getVar2VarFragment, isDefining, isEmpty, toString

Methods inherited from class it.unibz.inf.ontop.substitution.impl.AbstractImmutableSubstitutionImpl

applyToArgumentMap, applyToDataAtom, applyToDistinctVariableOnlyDataAtom, applyToTarget, composeWith, composeWith2, computeUnionMap, convertIntoBooleanExpression, convertIntoBooleanExpression, equals, getFunctionalTermFragment, getGroundFunctionalTermFragment, getNonFunctionalTermFragment, getNonGroundFunctionalTermFragment, getNonVariableTermFragment, getVariableOrGroundTermFragment, orientate, simplifyValues, simplifyValues, simplifyValues, union, unionHeterogeneous

Methods inherited from class it.unibz.inf.ontop.substitution.impl.AbstractProtoSubstitution

apply, apply, applyToBooleanExpression, applyToFunctionalTerm

Methods inherited from class java.lang.Object

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

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

applyToNonGroundTerm, applyToTerm, applyToVariable, composeWithVar2Var

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

applyToArgumentMap, 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

Constructor Detail

InjectiveVar2VarSubstitutionImpl

protected InjectiveVar2VarSubstitutionImpl(Map<Variable,Variable> substitutionMap,
                                           AtomFactory atomFactory,
                                           TermFactory termFactory,
                                           SubstitutionFactory substitutionFactory)

Regular constructor

Method Detail

applyRenaming

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

Description copied from interface: InjectiveVar2VarSubstitution

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

Specified by:

applyRenaming in interface InjectiveVar2VarSubstitution

composeWithAndPreserveInjectivity

public Optional<InjectiveVar2VarSubstitution> composeWithAndPreserveInjectivity(InjectiveVar2VarSubstitution g,
                                                                                Set<Variable> variablesToExcludeFromTheDomain)

Description copied from interface: InjectiveVar2VarSubstitution

{ (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.

Specified by:

composeWithAndPreserveInjectivity in interface InjectiveVar2VarSubstitution

reduceDomainToIntersectionWith

public InjectiveVar2VarSubstitution reduceDomainToIntersectionWith(it.unibz.inf.ontop.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>

Specified by:

reduceDomainToIntersectionWith in interface InjectiveVar2VarSubstitution

Overrides:

reduceDomainToIntersectionWith in class AbstractImmutableSubstitutionImpl<Variable>

applyToSubstitution

public <T extends ImmutableTerm> Optional<ImmutableSubstitution<T>> applyToSubstitution(ImmutableSubstitution<T> substitution)

More efficient implementation

Specified by:

applyToSubstitution in interface Var2VarSubstitution

Overrides:

applyToSubstitution in class Var2VarSubstitutionImpl