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

Packages that use ProtoSubstitution

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

Uses of ProtoSubstitution in it.unibz.inf.ontop.model.term

Methods in it.unibz.inf.ontop.model.term that return ProtoSubstitution

Modifier and Type	Method and Description
<T extends ImmutableTerm> ProtoSubstitution<T>	TermFactory.getProtoSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T> map) Minimalist substitution with minimal dependencies.

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

Classes in it.unibz.inf.ontop.model.term.impl that implement ProtoSubstitution

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

Methods in it.unibz.inf.ontop.model.term.impl that return ProtoSubstitution

Modifier and Type	Method and Description
<T extends ImmutableTerm> ProtoSubstitution<T>	TermFactoryImpl.getProtoSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T> map)

Uses of ProtoSubstitution in it.unibz.inf.ontop.substitution

Subinterfaces of ProtoSubstitution in it.unibz.inf.ontop.substitution

Modifier and Type	Interface and Description
interface	ImmutableSubstitution<T extends ImmutableTerm> Declaration that the substitution is immutable and only refer to ImmutableTerms.
interface	IndempotentVar2VarSubstitution Var-to-var substitution S satisfying the indempotency property: S(x) = S(S(x) = S(S(S(...S(x)...))) Concretely it means that its domain and its range do not intersect.
interface	InjectiveVar2VarSubstitution Var2VarSubstitution that is injective (no value in the substitution map is shared by two keys)
interface	Var2VarSubstitution Substitution where variables are only mapped to variables

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

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

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