it.unibz.inf.ontop.substitution

Interface Var2VarSubstitution

All Superinterfaces:

ImmutableSubstitution<Variable>, ProtoSubstitution<Variable>

All Known Subinterfaces:

InjectiveVar2VarSubstitution

All Known Implementing Classes:

InjectiveVar2VarSubstitutionImpl, Var2VarSubstitutionImpl

public interface Var2VarSubstitution
extends ImmutableSubstitution<Variable>

Substitution where variables are only mapped to variables

Method Summary

Modifier and Type	Method and Description
NonGroundTerm	applyToNonGroundTerm(NonGroundTerm term)
<T extends ImmutableTerm> ImmutableSubstitution<T>	applyToTarget(ImmutableSubstitution<T> otherSubstitution) Applies the current substitution to the "target" part of another substitution
<T extends ImmutableTerm> T	applyToTerm(T term) Guarantees that the term type is preserved
Variable	applyToVariable(Variable variable) This method can be applied to simple variables

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

applyToArgumentMap, applyToDataAtom, composeWith, composeWith2, getFragment, orientate, reduceDomainToIntersectionWith, simplifyValues, simplifyValues, union

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

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

Method Detail

applyToVariable

Variable applyToVariable(Variable variable)

Description copied from interface: ProtoSubstitution

This method can be applied to simple variables

Specified by:

applyToVariable in interface ProtoSubstitution<Variable>

applyToTerm

<T extends ImmutableTerm> T applyToTerm(T term)

Guarantees that the term type is preserved

applyToNonGroundTerm

NonGroundTerm applyToNonGroundTerm(NonGroundTerm term)

applyToTarget

<T extends ImmutableTerm> ImmutableSubstitution<T> applyToTarget(ImmutableSubstitution<T> otherSubstitution)

Applies the current substitution to the "target" part of another substitution