it.unibz.inf.ontop.substitution

Interface Var2VarSubstitution

All Superinterfaces:

ImmutableSubstitution<Variable>, ProtoSubstitution<Variable>

All Known Subinterfaces:

IndempotentVar2VarSubstitution, InjectiveVar2VarSubstitution

All Known Implementing Classes:

IndempotentVar2VarSubstitutionImpl, 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> Optional<ImmutableSubstitution<T>>	applyToSubstitution(ImmutableSubstitution<T> substitution) Applies the substitution to the domain and co-domain terns Returns Optional.empty() if the results is not a substitution (incompatible entries)
<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
Var2VarSubstitution	composeWithVar2Var(Var2VarSubstitution g)

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

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

applyToSubstitution

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

Applies the substitution to the domain and co-domain terns Returns Optional.empty() if the results is not a substitution (incompatible entries)

composeWithVar2Var

Var2VarSubstitution composeWithVar2Var(Var2VarSubstitution g)

applyToNonGroundTerm

NonGroundTerm applyToNonGroundTerm(NonGroundTerm term)