it.unibz.inf.ontop.substitution.impl

Class SubstitutionFactoryImpl

java.lang.Object

it.unibz.inf.ontop.substitution.impl.SubstitutionFactoryImpl

All Implemented Interfaces:

SubstitutionFactory

public class SubstitutionFactoryImpl
extends Object
implements SubstitutionFactory

Method Summary

Modifier and Type	Method and Description
InjectiveVar2VarSubstitution	generateNotConflictingRenaming(VariableGenerator variableGenerator, it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables) Non-conflicting variable: - initial variable of the variable set not known by the generator - or a fresh variable generated by the generator NOT PRESENT in the variable set
InjectiveVar2VarSubstitution	getInjectiveVar2VarSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap)
<T extends ImmutableTerm> ImmutableSubstitution<T>	getSubstitution()
<T extends ImmutableTerm> ImmutableSubstitution<T>	getSubstitution(it.unibz.inf.ontop.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(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getSubstitution

public <T extends ImmutableTerm> ImmutableSubstitution<T> getSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T> newSubstitutionMap)

Specified by:

getSubstitution in interface SubstitutionFactory

getSubstitution

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

Specified by:

getSubstitution in interface SubstitutionFactory

getSubstitution

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

Specified by:

getSubstitution in interface SubstitutionFactory

getSubstitution

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

Specified by:

getSubstitution in interface SubstitutionFactory

getSubstitution

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

Specified by:

getSubstitution in interface SubstitutionFactory

getSubstitution

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

Specified by:

getSubstitution in interface SubstitutionFactory

getVar2VarSubstitution

public Var2VarSubstitution getVar2VarSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap)

Specified by:

getVar2VarSubstitution in interface SubstitutionFactory

getInjectiveVar2VarSubstitution

public InjectiveVar2VarSubstitution getInjectiveVar2VarSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap)

Specified by:

getInjectiveVar2VarSubstitution in interface SubstitutionFactory

generateNotConflictingRenaming

public InjectiveVar2VarSubstitution generateNotConflictingRenaming(VariableGenerator variableGenerator,
                                                                   it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> variables)

Non-conflicting variable: - initial variable of the variable set not known by the generator - or a fresh variable generated by the generator NOT PRESENT in the variable set

Specified by:

generateNotConflictingRenaming in interface SubstitutionFactory