it.unibz.inf.ontop.substitution.impl

Class Var2VarSubstitutionImpl

java.lang.Object

it.unibz.inf.ontop.substitution.impl.AbstractProtoSubstitution<T>

it.unibz.inf.ontop.substitution.impl.AbstractImmutableSubstitutionImpl<Variable>

it.unibz.inf.ontop.substitution.impl.Var2VarSubstitutionImpl

All Implemented Interfaces:

ImmutableSubstitution<Variable>, ProtoSubstitution<Variable>, Var2VarSubstitution

Direct Known Subclasses:

IndempotentVar2VarSubstitutionImpl, InjectiveVar2VarSubstitutionImpl

public class Var2VarSubstitutionImpl
extends AbstractImmutableSubstitutionImpl<Variable>
implements Var2VarSubstitution

Immutable { Variable --> Variable } substitution.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Var2VarSubstitutionImpl(Map<Variable,? extends Variable> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory) Regular constructor

Method Summary

Modifier and Type	Method and Description
NonGroundTerm	applyToNonGroundTerm(NonGroundTerm term)
<T extends ImmutableTerm> Optional<ImmutableSubstitution<T>>	applyToSubstitution(ImmutableSubstitution<T> substitution) TODO: directly build an ImmutableMap
<T extends ImmutableTerm> T	applyToTerm(T term) Guarantees that the term type is preserved
Variable	applyToVariable(Variable variable) This method can be applied to simple variables
protected Stream<Map.Entry<Variable,Variable>>	composeRenaming(Var2VarSubstitution g)
Var2VarSubstitution	composeWithVar2Var(Var2VarSubstitution g)
protected ImmutableSubstitution<Variable>	constructNewSubstitution(com.google.common.collect.ImmutableMap<Variable,Variable> map)
Variable	get(Variable var)
com.google.common.collect.ImmutableSet<Variable>	getDomain()
ImmutableSubstitution<GroundTerm>	getGroundTermFragment()
com.google.common.collect.ImmutableMap<Variable,Variable>	getImmutableMap()
Var2VarSubstitution	getVar2VarFragment()
boolean	isDefining(Variable variable)
boolean	isEmpty()
String	toString()

Methods inherited from class it.unibz.inf.ontop.substitution.impl.AbstractImmutableSubstitutionImpl

applyToArgumentMap, applyToDataAtom, applyToDistinctVariableOnlyDataAtom, applyToTarget, composeWith, composeWith2, computeUnionMap, convertIntoBooleanExpression, convertIntoBooleanExpression, equals, getFunctionalTermFragment, getGroundFunctionalTermFragment, getNonFunctionalTermFragment, getNonGroundFunctionalTermFragment, getNonVariableTermFragment, getVariableOrGroundTermFragment, orientate, reduceDomainToIntersectionWith, simplifyValues, simplifyValues, simplifyValues, union, unionHeterogeneous

Methods inherited from class it.unibz.inf.ontop.substitution.impl.AbstractProtoSubstitution

apply, apply, applyToBooleanExpression, applyToFunctionalTerm

Methods inherited from class java.lang.Object

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

Methods inherited from interface it.unibz.inf.ontop.substitution.ImmutableSubstitution

applyToArgumentMap, applyToDataAtom, applyToDistinctVariableOnlyDataAtom, applyToTarget, composeWith, composeWith2, convertIntoBooleanExpression, getFunctionalTermFragment, getGroundFunctionalTermFragment, getNonFunctionalTermFragment, getNonGroundFunctionalTermFragment, getNonVariableTermFragment, getVariableOrGroundTermFragment, orientate, reduceDomainToIntersectionWith, simplifyValues, simplifyValues, union, unionHeterogeneous

Methods inherited from interface it.unibz.inf.ontop.substitution.ProtoSubstitution

apply, apply, applyToBooleanExpression, applyToFunctionalTerm

Constructor Detail

Var2VarSubstitutionImpl

protected Var2VarSubstitutionImpl(Map<Variable,? extends Variable> substitutionMap,
                                  AtomFactory atomFactory,
                                  TermFactory termFactory,
                                  SubstitutionFactory substitutionFactory)

Regular constructor

Method Detail

applyToVariable

public Variable applyToVariable(Variable variable)

Description copied from interface: ProtoSubstitution

This method can be applied to simple variables

Specified by:

applyToVariable in interface ProtoSubstitution<Variable>

Specified by:

applyToVariable in interface Var2VarSubstitution

getVar2VarFragment

public Var2VarSubstitution getVar2VarFragment()

Specified by:

getVar2VarFragment in interface ImmutableSubstitution<Variable>

getGroundTermFragment

public ImmutableSubstitution<GroundTerm> getGroundTermFragment()

Specified by:

getGroundTermFragment in interface ImmutableSubstitution<Variable>

applyToSubstitution

public <T extends ImmutableTerm> Optional<ImmutableSubstitution<T>> applyToSubstitution(ImmutableSubstitution<T> substitution)

TODO: directly build an ImmutableMap

Specified by:

applyToSubstitution in interface Var2VarSubstitution

get

public Variable get(Variable var)

Specified by:

get in interface ProtoSubstitution<Variable>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface ProtoSubstitution<Variable>

toString

public String toString()

Overrides:

toString in class Object

getImmutableMap

public com.google.common.collect.ImmutableMap<Variable,Variable> getImmutableMap()

Specified by:

getImmutableMap in interface ProtoSubstitution<Variable>

isDefining

public boolean isDefining(Variable variable)

Specified by:

isDefining in interface ProtoSubstitution<Variable>

getDomain

public com.google.common.collect.ImmutableSet<Variable> getDomain()

Specified by:

getDomain in interface ProtoSubstitution<Variable>

constructNewSubstitution

protected ImmutableSubstitution<Variable> constructNewSubstitution(com.google.common.collect.ImmutableMap<Variable,Variable> map)

Specified by:

constructNewSubstitution in class AbstractImmutableSubstitutionImpl<Variable>

composeWithVar2Var

public Var2VarSubstitution composeWithVar2Var(Var2VarSubstitution g)

Specified by:

composeWithVar2Var in interface Var2VarSubstitution

applyToNonGroundTerm

public NonGroundTerm applyToNonGroundTerm(NonGroundTerm term)

Specified by:

applyToNonGroundTerm in interface Var2VarSubstitution

applyToTerm

public <T extends ImmutableTerm> T applyToTerm(T term)

Description copied from interface: Var2VarSubstitution

Guarantees that the term type is preserved

Specified by:

applyToTerm in interface Var2VarSubstitution

composeRenaming

protected Stream<Map.Entry<Variable,Variable>> composeRenaming(Var2VarSubstitution g)