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

Packages that use Var2VarSubstitution

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

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

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

Modifier and Type	Interface and Description
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)

Methods in it.unibz.inf.ontop.substitution that return Var2VarSubstitution

Modifier and Type	Method and Description
Var2VarSubstitution	Var2VarSubstitution.composeWithVar2Var(Var2VarSubstitution g)
Var2VarSubstitution	ImmutableSubstitution.getVar2VarFragment()
Var2VarSubstitution	SubstitutionFactory.getVar2VarSubstitution(com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap)

Methods in it.unibz.inf.ontop.substitution with parameters of type Var2VarSubstitution

Modifier and Type	Method and Description
Var2VarSubstitution	Var2VarSubstitution.composeWithVar2Var(Var2VarSubstitution g)

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

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

Modifier and Type	Class and Description
class	IndempotentVar2VarSubstitutionImpl
class	InjectiveVar2VarSubstitutionImpl
class	Var2VarSubstitutionImpl Immutable Variable --> Variable substitution.

Methods in it.unibz.inf.ontop.substitution.impl that return Var2VarSubstitution

Modifier and Type	Method and Description
Var2VarSubstitution	Var2VarSubstitutionImpl.composeWithVar2Var(Var2VarSubstitution g)
Var2VarSubstitution	ImmutableSubstitutionImpl.getVar2VarFragment()
Var2VarSubstitution	Var2VarSubstitutionImpl.getVar2VarFragment()
Var2VarSubstitution	SubstitutionFactoryImpl.getVar2VarSubstitution(com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap)

Methods in it.unibz.inf.ontop.substitution.impl with parameters of type Var2VarSubstitution

Modifier and Type	Method and Description
protected Stream<Map.Entry<Variable,Variable>>	Var2VarSubstitutionImpl.composeRenaming(Var2VarSubstitution g)
Var2VarSubstitution	Var2VarSubstitutionImpl.composeWithVar2Var(Var2VarSubstitution g)