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.

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()
ImmutableSubstitution<GroundTerm>	getGroundTermFragment()
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,T>	getImmutableMap()
Var2VarSubstitution	getVar2VarFragment()
int	hashCode()
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, 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, 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

getVar2VarFragment

public Var2VarSubstitution getVar2VarFragment()

getGroundTermFragment

public ImmutableSubstitution<GroundTerm> getGroundTermFragment()

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>