it.unibz.inf.ontop.substitution

Interface SubstitutionFactory

All Known Implementing Classes:

SubstitutionFactoryImpl

public interface SubstitutionFactory

Accessible through Guice (recommended) or through CoreSingletons.

Method Summary

Modifier and Type	Method and Description
InjectiveVar2VarSubstitution	generateNotConflictingRenaming(VariableGenerator variableGenerator, com.google.common.collect.ImmutableSet<Variable> variables)
InjectiveVar2VarSubstitution	getInjectiveVar2VarSubstitution(Map<Variable,Variable> substitutionMap)
<T extends ImmutableTerm> ImmutableSubstitution<T>	getSubstitution()
<T extends ImmutableTerm> ImmutableSubstitution<T>	getSubstitution(com.google.common.collect.ImmutableMap<Variable,T> newSubstitutionMap)
<T extends ImmutableTerm> ImmutableSubstitution<T>	getSubstitution(Variable k1, T v1)
<T extends ImmutableTerm> ImmutableSubstitution<T>	getSubstitution(Variable k1, T v1, Variable k2, T v2)
<T extends ImmutableTerm> ImmutableSubstitution<T>	getSubstitution(Variable k1, T v1, Variable k2, T v2, Variable k3, T v3)
<T extends ImmutableTerm> ImmutableSubstitution<T>	getSubstitution(Variable k1, T v1, Variable k2, T v2, Variable k3, T v3, Variable k4, T v4)
Var2VarSubstitution	getVar2VarSubstitution(com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap)

Method Detail

getSubstitution

<T extends ImmutableTerm> ImmutableSubstitution<T> getSubstitution(com.google.common.collect.ImmutableMap<Variable,T> newSubstitutionMap)

getSubstitution

<T extends ImmutableTerm> ImmutableSubstitution<T> getSubstitution(Variable k1,
                                                                   T v1)

getSubstitution

<T extends ImmutableTerm> ImmutableSubstitution<T> getSubstitution(Variable k1,
                                                                   T v1,
                                                                   Variable k2,
                                                                   T v2)

getSubstitution

<T extends ImmutableTerm> ImmutableSubstitution<T> getSubstitution(Variable k1,
                                                                   T v1,
                                                                   Variable k2,
                                                                   T v2,
                                                                   Variable k3,
                                                                   T v3)

getSubstitution

<T extends ImmutableTerm> ImmutableSubstitution<T> getSubstitution(Variable k1,
                                                                   T v1,
                                                                   Variable k2,
                                                                   T v2,
                                                                   Variable k3,
                                                                   T v3,
                                                                   Variable k4,
                                                                   T v4)

getSubstitution

<T extends ImmutableTerm> ImmutableSubstitution<T> getSubstitution()

getVar2VarSubstitution

Var2VarSubstitution getVar2VarSubstitution(com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap)

getInjectiveVar2VarSubstitution

InjectiveVar2VarSubstitution getInjectiveVar2VarSubstitution(Map<Variable,Variable> substitutionMap)

generateNotConflictingRenaming

InjectiveVar2VarSubstitution generateNotConflictingRenaming(VariableGenerator variableGenerator,
                                                            com.google.common.collect.ImmutableSet<Variable> variables)