it.unibz.inf.ontop.substitution.impl

Class ImmutableSubstitutionTools

java.lang.Object

it.unibz.inf.ontop.substitution.impl.ImmutableSubstitutionTools

public class ImmutableSubstitutionTools
extends Object

Tools for the new generation of (immutable) substitutions

Method Summary

Modifier and Type	Method and Description
Optional<ImmutableSubstitution<ImmutableTerm>>	computeUnidirectionalSubstitution(ImmutableTerm sourceTerm, ImmutableTerm targetTerm) Returns a substitution theta (if it exists) such as : theta(s) = t with s : source term t: target term
ImmutableSubstitution<ImmutableTerm>	convertMutableSubstitution(Substitution substitution)
<T extends ImmutableTerm> ImmutableSubstitution<T>	prioritizeRenaming(ImmutableSubstitution<T> substitution, com.google.common.collect.ImmutableSet<Variable> priorityVariables) Prevents priority variables to be renamed into non-priority variables.

Methods inherited from class java.lang.Object

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

Method Detail

convertMutableSubstitution

public ImmutableSubstitution<ImmutableTerm> convertMutableSubstitution(Substitution substitution)

computeUnidirectionalSubstitution

public Optional<ImmutableSubstitution<ImmutableTerm>> computeUnidirectionalSubstitution(ImmutableTerm sourceTerm,
                                                                                        ImmutableTerm targetTerm)

Returns a substitution theta (if it exists) such as : theta(s) = t with s : source term t: target term

prioritizeRenaming

public <T extends ImmutableTerm> ImmutableSubstitution<T> prioritizeRenaming(ImmutableSubstitution<T> substitution,
                                                                             com.google.common.collect.ImmutableSet<Variable> priorityVariables)

Prevents priority variables to be renamed into non-priority variables. When applied to a MGU, it is expected to return another "equivalent" MGU.