it.unibz.inf.ontop.substitution

Interface ImmutableSubstitution<T extends ImmutableTerm>

All Superinterfaces:

ProtoSubstitution<T>

All Known Subinterfaces:

IndempotentVar2VarSubstitution, InjectiveVar2VarSubstitution, Var2VarSubstitution

All Known Implementing Classes:

AbstractImmutableSubstitutionImpl, ImmutableSubstitutionImpl, IndempotentVar2VarSubstitutionImpl, 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
DataAtom	applyToDataAtom(DataAtom atom) Only guaranteed for T extends VariableOrGroundTerm.
DistinctVariableOnlyDataAtom	applyToDistinctVariableOnlyDataAtom(DistinctVariableOnlyDataAtom projectionAtom)
ImmutableSubstitution<ImmutableTerm>	applyToTarget(ImmutableSubstitution<? extends ImmutableTerm> otherSubstitution) Applies the current substitution to the "target" part of another substitution
ImmutableSubstitution<ImmutableTerm>	composeWith(ImmutableSubstitution<? extends ImmutableTerm> f) Returns "(g o f)" where g is this substitution.
ImmutableSubstitution<T>	composeWith2(ImmutableSubstitution<? extends T> f)
Optional<ImmutableExpression>	convertIntoBooleanExpression()
ImmutableSubstitution<ImmutableFunctionalTerm>	getFunctionalTermFragment()
ImmutableSubstitution<GroundFunctionalTerm>	getGroundFunctionalTermFragment()
ImmutableSubstitution<GroundTerm>	getGroundTermFragment()
ImmutableSubstitution<NonFunctionalTerm>	getNonFunctionalTermFragment()
ImmutableSubstitution<NonGroundFunctionalTerm>	getNonGroundFunctionalTermFragment()
ImmutableSubstitution<NonVariableTerm>	getNonVariableTermFragment()
Var2VarSubstitution	getVar2VarFragment()
ImmutableSubstitution<VariableOrGroundTerm>	getVariableOrGroundTermFragment()
ImmutableSubstitution<T>	orientate(com.google.common.collect.ImmutableList<Variable> priorityVariables) Returns a "similar" substitution that avoids (if possible) to substitute certain variables.
ImmutableSubstitution<T>	reduceDomainToIntersectionWith(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.
Optional<ImmutableSubstitution<? extends ImmutableTerm>>	unionHeterogeneous(ImmutableSubstitution<? extends ImmutableTerm> other) TODO: explain

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

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

Method Detail

applyToDataAtom

DataAtom applyToDataAtom(DataAtom 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

applyToDistinctVariableOnlyDataAtom

DistinctVariableOnlyDataAtom applyToDistinctVariableOnlyDataAtom(DistinctVariableOnlyDataAtom projectionAtom)
                                                          throws ConversionException

Throws:

ConversionException

composeWith

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

Returns "(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.

unionHeterogeneous

Optional<ImmutableSubstitution<? extends ImmutableTerm>> unionHeterogeneous(ImmutableSubstitution<? extends ImmutableTerm> other)

TODO: explain

applyToTarget

ImmutableSubstitution<ImmutableTerm> applyToTarget(ImmutableSubstitution<? extends ImmutableTerm> otherSubstitution)

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

orientate

ImmutableSubstitution<T> orientate(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.

convertIntoBooleanExpression

Optional<ImmutableExpression> convertIntoBooleanExpression()

getVar2VarFragment

Var2VarSubstitution getVar2VarFragment()

getVariableOrGroundTermFragment

ImmutableSubstitution<VariableOrGroundTerm> getVariableOrGroundTermFragment()

getNonGroundFunctionalTermFragment

ImmutableSubstitution<NonGroundFunctionalTerm> getNonGroundFunctionalTermFragment()

getGroundFunctionalTermFragment

ImmutableSubstitution<GroundFunctionalTerm> getGroundFunctionalTermFragment()

getNonFunctionalTermFragment

ImmutableSubstitution<NonFunctionalTerm> getNonFunctionalTermFragment()

getFunctionalTermFragment

ImmutableSubstitution<ImmutableFunctionalTerm> getFunctionalTermFragment()

getNonVariableTermFragment

ImmutableSubstitution<NonVariableTerm> getNonVariableTermFragment()

getGroundTermFragment

ImmutableSubstitution<GroundTerm> getGroundTermFragment()

reduceDomainToIntersectionWith

ImmutableSubstitution<T> reduceDomainToIntersectionWith(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()