Uses of Interface
it.unibz.inf.ontop.substitution.Substitution

Packages that use Substitution

Package	Description
it.unibz.inf.ontop.substitution.impl

Uses of Substitution in it.unibz.inf.ontop.substitution.impl

Classes in it.unibz.inf.ontop.substitution.impl that implement Substitution

Modifier and Type	Class and Description
class	SingletonSubstitution An atomic substitution accepts only one variable in its domain.
class	SubstitutionImpl Mutable reference implementation of a Substitution.

Methods in it.unibz.inf.ontop.substitution.impl that return Substitution

Modifier and Type	Method and Description
Substitution	UnifierUtilities.getMGU(Function first, Function second) Computes the Most General Unifier (MGU) for two n-ary atoms.

Methods in it.unibz.inf.ontop.substitution.impl with parameters of type Substitution

Modifier and Type	Method and Description
static void	SubstitutionUtilities.applySubstitution(Function atom, Substitution unifier) Applies the substitution to all the terms in the list.
static void	SubstitutionUtilities.applySubstitution(Function atom, Substitution unifier, int fromIndex)
ImmutableSubstitution<ImmutableTerm>	ImmutableSubstitutionTools.convertMutableSubstitution(Substitution substitution)