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

Class Summary

Class	Description
AbstractImmutableSubstitutionImpl<T extends ImmutableTerm>	Common abstract class for ImmutableSubstitutionImpl and Var2VarSubstitutionImpl
AbstractProtoSubstitution<T extends ImmutableTerm>
ImmutableSubstitutionImpl<T extends ImmutableTerm>	Wrapper above an ImmutableMap<Variable, ImmutableTerm> map.
ImmutableSubstitutionTools	Tools for the new generation of (immutable) substitutions
ImmutableUnificationTools	Tools for new-gen immutable unifying substitutions.
ImmutableUnificationTools.ArgumentMapUnification
InjectiveVar2VarSubstitutionImpl
SubstitutionFactoryImpl
UnifierUtilities	A Class that provides general utilities related to unification, of terms and atoms.
Var2VarSubstitutionImpl	Immutable Variable --> Variable substitution.