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

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

Package	Description
it.unibz.inf.ontop.injection
it.unibz.inf.ontop.injection.impl
it.unibz.inf.ontop.iq
it.unibz.inf.ontop.iq.impl
it.unibz.inf.ontop.iq.node
it.unibz.inf.ontop.iq.node.impl
it.unibz.inf.ontop.iq.node.normalization
it.unibz.inf.ontop.iq.node.normalization.impl
it.unibz.inf.ontop.iq.request
it.unibz.inf.ontop.iq.request.impl
it.unibz.inf.ontop.iq.tools
it.unibz.inf.ontop.iq.tools.impl
it.unibz.inf.ontop.iq.transform.impl
it.unibz.inf.ontop.model.atom
it.unibz.inf.ontop.model.atom.impl
it.unibz.inf.ontop.model.term
it.unibz.inf.ontop.model.term.impl
it.unibz.inf.ontop.substitution
it.unibz.inf.ontop.substitution.impl

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

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.
InjectiveVar2VarSubstitution Var2VarSubstitution that is injective (no value in the substitution map is shared by two keys)
SubstitutionFactory Accessible through Guice (recommended) or through CoreSingletons.

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

Class and Description
SubstitutionFactory Accessible through Guice (recommended) or through CoreSingletons.

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

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.
InjectiveVar2VarSubstitution Var2VarSubstitution that is injective (no value in the substitution map is shared by two keys)

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

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.
InjectiveVar2VarSubstitution Var2VarSubstitution that is injective (no value in the substitution map is shared by two keys)

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

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.
InjectiveVar2VarSubstitution Var2VarSubstitution that is injective (no value in the substitution map is shared by two keys)

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

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.
InjectiveVar2VarSubstitution Var2VarSubstitution that is injective (no value in the substitution map is shared by two keys)
SubstitutionFactory Accessible through Guice (recommended) or through CoreSingletons.

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

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.

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

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.

Classes in it.unibz.inf.ontop.substitution used by it.unibz.inf.ontop.iq.request

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.

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

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.

Classes in it.unibz.inf.ontop.substitution used by it.unibz.inf.ontop.iq.tools

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.

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

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.

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

Class and Description
SubstitutionFactory Accessible through Guice (recommended) or through CoreSingletons.

Classes in it.unibz.inf.ontop.substitution used by it.unibz.inf.ontop.model.atom

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.
InjectiveVar2VarSubstitution Var2VarSubstitution that is injective (no value in the substitution map is shared by two keys)

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

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.
InjectiveVar2VarSubstitution Var2VarSubstitution that is injective (no value in the substitution map is shared by two keys)

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

Class and Description
ProtoSubstitution TODO: find a better name Minimal interface for a substitution May not depend on the AtomFactory and SubstitutionFactory

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

Class and Description
ProtoSubstitution TODO: find a better name Minimal interface for a substitution May not depend on the AtomFactory and SubstitutionFactory

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

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.
InjectiveVar2VarSubstitution Var2VarSubstitution that is injective (no value in the substitution map is shared by two keys)
ProtoSubstitution TODO: find a better name Minimal interface for a substitution May not depend on the AtomFactory and SubstitutionFactory
Var2VarSubstitution Substitution where variables are only mapped to variables

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

Class and Description
ImmutableSubstitution Declaration that the substitution is immutable and only refer to ImmutableTerms.
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.
InjectiveVar2VarSubstitution Var2VarSubstitution that is injective (no value in the substitution map is shared by two keys)
ProtoSubstitution TODO: find a better name Minimal interface for a substitution May not depend on the AtomFactory and SubstitutionFactory
Substitution A substitution is a function of variables to terms.
SubstitutionFactory Accessible through Guice (recommended) or through CoreSingletons.
Var2VarSubstitution Substitution where variables are only mapped to variables