it.unibz.inf.ontop.substitution.impl

Class ImmutableUnificationTools

java.lang.Object

it.unibz.inf.ontop.substitution.impl.ImmutableUnificationTools

public class ImmutableUnificationTools
extends Object

Tools for new-gen immutable unifying substitutions.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ImmutableUnificationTools.ArgumentMapUnification

Method Summary

Modifier and Type	Method and Description
Optional<ImmutableUnificationTools.ArgumentMapUnification>	computeArgumentMapMGU(com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap1, com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap2)
Optional<ImmutableSubstitution<VariableOrGroundTerm>>	computeAtomMGUS(ImmutableSubstitution<VariableOrGroundTerm> substitution1, ImmutableSubstitution<VariableOrGroundTerm> substitution2)
Optional<ImmutableSubstitution<ImmutableTerm>>	computeDirectedMGU(ImmutableTerm sourceTerm, ImmutableTerm targetTerm) Computes a MGU that reuses as much as possible the variables from the target part.
<T extends ImmutableTerm> Optional<ImmutableSubstitution<T>>	computeMGU(com.google.common.collect.ImmutableList<T> args1, com.google.common.collect.ImmutableList<T> args2) TODO: explain
Optional<ImmutableSubstitution<ImmutableTerm>>	computeMGUS(ImmutableSubstitution<? extends ImmutableTerm> substitution1, ImmutableSubstitution<? extends ImmutableTerm> substitution2) Computes one Most General Unifier (MGU) of (two) substitutions.
Optional<ImmutableSubstitution<NonFunctionalTerm>>	computeMGUS2(ImmutableSubstitution<NonFunctionalTerm> s1, ImmutableSubstitution<NonFunctionalTerm> s2) TODO: make it replace computeMGUS()

Methods inherited from class java.lang.Object

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

Method Detail

computeMGU

public <T extends ImmutableTerm> Optional<ImmutableSubstitution<T>> computeMGU(com.google.common.collect.ImmutableList<T> args1,
                                                                               com.google.common.collect.ImmutableList<T> args2)

TODO: explain

computeArgumentMapMGU

public Optional<ImmutableUnificationTools.ArgumentMapUnification> computeArgumentMapMGU(com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap1,
                                                                                        com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap2)

computeMGUS2

public Optional<ImmutableSubstitution<NonFunctionalTerm>> computeMGUS2(ImmutableSubstitution<NonFunctionalTerm> s1,
                                                                       ImmutableSubstitution<NonFunctionalTerm> s2)

TODO: make it replace computeMGUS()

computeMGUS

public Optional<ImmutableSubstitution<ImmutableTerm>> computeMGUS(ImmutableSubstitution<? extends ImmutableTerm> substitution1,
                                                                  ImmutableSubstitution<? extends ImmutableTerm> substitution2)

Computes one Most General Unifier (MGU) of (two) substitutions.

computeAtomMGUS

public Optional<ImmutableSubstitution<VariableOrGroundTerm>> computeAtomMGUS(ImmutableSubstitution<VariableOrGroundTerm> substitution1,
                                                                             ImmutableSubstitution<VariableOrGroundTerm> substitution2)

computeDirectedMGU

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

Computes a MGU that reuses as much as possible the variables from the target part.