it.unibz.inf.ontop.substitution.impl

Class ImmutableSubstitutionImpl<T extends ImmutableTerm>

java.lang.Object

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

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

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

All Implemented Interfaces:

ImmutableSubstitution<T>, ProtoSubstitution<T>

public class ImmutableSubstitutionImpl<T extends ImmutableTerm>
extends AbstractImmutableSubstitutionImpl<T>

Wrapper above an ImmutableMap<Variable, ImmutableTerm> map.

Field Summary

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

termFactory

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ImmutableSubstitutionImpl(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,? extends T> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory)

Method Summary

Modifier and Type	Method and Description
ImmutableTerm	applyToVariable(Variable variable) This method can be applied to simple variables
protected ImmutableSubstitution<T>	constructNewSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T> map)
boolean	equals(Object o)
T	get(Variable var)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getDomain()
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T>	getImmutableMap()
int	hashCode()
boolean	isDefining(Variable variable)
boolean	isEmpty()
String	toString()

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

applyToArgumentMap, applyToDataAtom, composeWith, composeWith2, 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, notify, notifyAll, wait, wait, wait

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

apply, apply, applyToBooleanExpression, applyToFunctionalTerm

Constructor Detail

ImmutableSubstitutionImpl

protected ImmutableSubstitutionImpl(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,? extends T> substitutionMap,
                                    AtomFactory atomFactory,
                                    TermFactory termFactory,
                                    SubstitutionFactory substitutionFactory)

Method Detail

get

public T get(Variable var)

getImmutableMap

public it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T> getImmutableMap()

isDefining

public boolean isDefining(Variable variable)

getDomain

public it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> getDomain()

isEmpty

public boolean isEmpty()

applyToVariable

public ImmutableTerm applyToVariable(Variable variable)

Description copied from interface: ProtoSubstitution

This method can be applied to simple variables

toString

public String toString()

Overrides:

toString in class Object

constructNewSubstitution

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

Specified by:

constructNewSubstitution in class AbstractImmutableSubstitutionImpl<T extends ImmutableTerm>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class AbstractImmutableSubstitutionImpl<T extends ImmutableTerm>