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:

InjectiveVar2VarSubstitutionImpl

public class Var2VarSubstitutionImpl
extends AbstractImmutableSubstitutionImpl<Variable>
implements Var2VarSubstitution

Immutable Variable --> Variable substitution.

Field Summary

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

termFactory

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Var2VarSubstitutionImpl(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<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> ImmutableSubstitution<T>	applyToTarget(ImmutableSubstitution<T> otherSubstitution) Applies the current substitution to the "target" part of another substitution
<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 ImmutableSubstitution<Variable>	constructNewSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> map)
Variable	get(Variable var)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getDomain()
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable>	getImmutableMap()
boolean	isDefining(Variable variable)
boolean	isEmpty()
String	toString()

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

applyToArgumentMap, applyToDataAtom, composeWith, composeWith2, equals, getFragment, orientate, reduceDomainToIntersectionWith, simplifyValues, simplifyValues, union

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, composeWith, composeWith2, getFragment, orientate, reduceDomainToIntersectionWith, simplifyValues, simplifyValues, union

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

apply, apply, applyToBooleanExpression, applyToFunctionalTerm

Constructor Detail

Var2VarSubstitutionImpl

protected Var2VarSubstitutionImpl(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<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

applyToTarget

public <T extends ImmutableTerm> ImmutableSubstitution<T> applyToTarget(ImmutableSubstitution<T> otherSubstitution)

Description copied from interface: Var2VarSubstitution

Applies the current substitution to the "target" part of another substitution

Specified by:

applyToTarget 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 it.unibz.inf.ontop.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 it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> getDomain()

Specified by:

getDomain in interface ProtoSubstitution<Variable>

constructNewSubstitution

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

Specified by:

constructNewSubstitution in class AbstractImmutableSubstitutionImpl<Variable>

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