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

Packages that use it.unibz.inf.ontop.substitution.impl

Package	Description
it.unibz.inf.ontop.iq.node.impl
it.unibz.inf.ontop.model.term.impl
it.unibz.inf.ontop.substitution.impl

Classes in it.unibz.inf.ontop.substitution.impl used by it.unibz.inf.ontop.iq.node.impl

Class and Description
ImmutableSubstitutionTools Tools for the new generation of (immutable) substitutions
ImmutableUnificationTools Tools for new-gen immutable unifying substitutions.

Classes in it.unibz.inf.ontop.substitution.impl used by it.unibz.inf.ontop.model.term.impl

Class and Description
AbstractProtoSubstitution

Classes in it.unibz.inf.ontop.substitution.impl used by it.unibz.inf.ontop.substitution.impl

Class and Description
AbstractImmutableSubstitutionImpl Common abstract class for ImmutableSubstitutionImpl and Var2VarSubstitutionImpl
AbstractProtoSubstitution
Var2VarSubstitutionImpl Immutable { Variable --> Variable } substitution.