it.unibz.inf.ontop.substitution

Interface ImmutableSubstitution<T extends ImmutableTerm>

All Superinterfaces:

ProtoSubstitution<T>

All Known Subinterfaces:

InjectiveVar2VarSubstitution, Var2VarSubstitution

All Known Implementing Classes:

AbstractImmutableSubstitutionImpl, ImmutableSubstitutionImpl, InjectiveVar2VarSubstitutionImpl, Var2VarSubstitutionImpl

public interface ImmutableSubstitution<T extends ImmutableTerm>
extends ProtoSubstitution<T>

Declaration that the substitution is immutable and only refer to ImmutableTerms. See SubstitutionFactory for creating new instances NB: implementations depend of the AtomFactory

Method Summary

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm>	applyToArgumentMap(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap) Only guaranteed for T extends VariableOrGroundTerm.
<P extends AtomPredicate> DataAtom<P>	applyToDataAtom(DataAtom<P> atom) Only guaranteed for T extends VariableOrGroundTerm.
ImmutableSubstitution<ImmutableTerm>	composeWith(ImmutableSubstitution<? extends ImmutableTerm> f) Viewing a substitution as a function (takes a term, returns a term).
ImmutableSubstitution<T>	composeWith2(ImmutableSubstitution<? extends T> f)
<S extends ImmutableTerm> ImmutableSubstitution<S>	getFragment(Class<S> type)
ImmutableSubstitution<T>	orientate(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable> priorityVariables) Returns a "similar" substitution that avoids (if possible) to substitute certain variables.
ImmutableSubstitution<T>	reduceDomainToIntersectionWith(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> restrictingDomain) Reduces the substitution's domain to its intersection with the argument domain
ImmutableSubstitution<ImmutableTerm>	simplifyValues()
ImmutableSubstitution<ImmutableTerm>	simplifyValues(VariableNullability variableNullability)
Optional<ImmutableSubstitution<T>>	union(ImmutableSubstitution<T> otherSubstitution) Because of the optional cannot be overloaded.

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

apply, apply, applyToBooleanExpression, applyToFunctionalTerm, applyToVariable, get, getDomain, getImmutableMap, isDefining, isEmpty

Method Detail

applyToDataAtom

<P extends AtomPredicate> DataAtom<P> applyToDataAtom(DataAtom<P> atom)
                                               throws ConversionException

Only guaranteed for T extends VariableOrGroundTerm.

If T == ImmutableTerm, throws a ConversionException if a substituted term is not a VariableOrGroundTerm.

Throws:

ConversionException

applyToArgumentMap

it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> applyToArgumentMap(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap)
                                                                                                              throws ConversionException

Only guaranteed for T extends VariableOrGroundTerm.

If T == ImmutableTerm, throws a ConversionException if a substituted term is not a VariableOrGroundTerm.

Throws:

ConversionException

composeWith

ImmutableSubstitution<ImmutableTerm> composeWith(ImmutableSubstitution<? extends ImmutableTerm> f)

Viewing a substitution as a function (takes a term, returns a term). This method yield the substitution "(g o f)" where g is this substitution. NB: (g o f)(x) = g(f(x))

composeWith2

ImmutableSubstitution<T> composeWith2(ImmutableSubstitution<? extends T> f)

union

Optional<ImmutableSubstitution<T>> union(ImmutableSubstitution<T> otherSubstitution)

Because of the optional cannot be overloaded.

orientate

ImmutableSubstitution<T> orientate(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable> priorityVariables)

Returns a "similar" substitution that avoids (if possible) to substitute certain variables.

Acts on equality between variables.

The first variable in the list has the highest priority.

This method requires the domain and the range to be disjoint.

getFragment

<S extends ImmutableTerm> ImmutableSubstitution<S> getFragment(Class<S> type)

reduceDomainToIntersectionWith

ImmutableSubstitution<T> reduceDomainToIntersectionWith(it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> restrictingDomain)

Reduces the substitution's domain to its intersection with the argument domain

simplifyValues

ImmutableSubstitution<ImmutableTerm> simplifyValues(VariableNullability variableNullability)

simplifyValues

ImmutableSubstitution<ImmutableTerm> simplifyValues()