Uses of Class
it.unibz.inf.ontop.substitution.impl.AbstractProtoSubstitution

Packages that use AbstractProtoSubstitution

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

Uses of AbstractProtoSubstitution in it.unibz.inf.ontop.model.term.impl

Subclasses of AbstractProtoSubstitution in it.unibz.inf.ontop.model.term.impl

Modifier and Type	Class and Description
class	SimpleProtoSubstitutionImpl<T extends ImmutableTerm>

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

Subclasses of AbstractProtoSubstitution in it.unibz.inf.ontop.substitution.impl

Modifier and Type	Class and Description
class	AbstractImmutableSubstitutionImpl<T extends ImmutableTerm> Common abstract class for ImmutableSubstitutionImpl and Var2VarSubstitutionImpl
class	ImmutableSubstitutionImpl<T extends ImmutableTerm> Wrapper above an ImmutableMap<Variable, ImmutableTerm> map.
class	IndempotentVar2VarSubstitutionImpl
class	InjectiveVar2VarSubstitutionImpl
class	Var2VarSubstitutionImpl Immutable Variable --> Variable substitution.