AbstractImmutableSubstitutionImpl (ontop-model 4.0.0-beta-2-SNAPSHOT API)

java.lang.Object
- it.unibz.inf.ontop.substitution.impl.AbstractProtoSubstitution<T>
- - it.unibz.inf.ontop.substitution.impl.AbstractImmutableSubstitutionImpl<T>

All Implemented Interfaces:

ImmutableSubstitution<T>, ProtoSubstitution<T>

Direct Known Subclasses:

ImmutableSubstitutionImpl, Var2VarSubstitutionImpl
```
public abstract class AbstractImmutableSubstitutionImpl<T extends ImmutableTerm>
extends AbstractProtoSubstitution<T>
implements ImmutableSubstitution<T>
```
Common abstract class for ImmutableSubstitutionImpl and Var2VarSubstitutionImpl

Constructor Summary

Constructors
Modifier	Constructor and Description
`protected`	`AbstractImmutableSubstitutionImpl(AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory)`

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`DataAtom`	`applyToDataAtom(DataAtom atom)` Only guaranteed for T extends VariableOrGroundTerm.
`DistinctVariableOnlyDataAtom`	`applyToDistinctVariableOnlyDataAtom(DistinctVariableOnlyDataAtom dataAtom)`
`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)` " "this o f" Equivalent to the function x -> this.apply(f.apply(x)) Follows the formal definition of a the composition of two substitutions.
`ImmutableSubstitution<T>`	`composeWith2(ImmutableSubstitution<? extends T> g)`
`protected Optional<com.google.common.collect.ImmutableMap<Variable,T>>`	`computeUnionMap(ImmutableSubstitution<T> otherSubstitution)` In case some sub-classes wants to add a new unionXX method returning an optional in their own type.
`protected abstract ImmutableSubstitution<T>`	`constructNewSubstitution(com.google.common.collect.ImmutableMap<Variable,T> map)`
`Optional<ImmutableExpression>`	`convertIntoBooleanExpression()`
`protected Optional<ImmutableExpression>`	`convertIntoBooleanExpression(ImmutableSubstitution<? extends ImmutableTerm> substitution)`
`boolean`	`equals(Object other)`
`ImmutableSubstitution<ImmutableFunctionalTerm>`	`getFunctionalTermFragment()`
`ImmutableSubstitution<GroundFunctionalTerm>`	`getGroundFunctionalTermFragment()`
`ImmutableSubstitution<NonFunctionalTerm>`	`getNonFunctionalTermFragment()`
`ImmutableSubstitution<NonGroundFunctionalTerm>`	`getNonGroundFunctionalTermFragment()`
`ImmutableSubstitution<NonVariableTerm>`	`getNonVariableTermFragment()`
`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(Optional<VariableNullability> variableNullability)`
`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> otherSubstitution)` TODO: explain

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, toString, wait, wait, wait

Methods inherited from interface it.unibz.inf.ontop.substitution.ImmutableSubstitution
getGroundTermFragment, getVar2VarFragment

Methods inherited from interface it.unibz.inf.ontop.substitution.ProtoSubstitution
apply, apply, applyToBooleanExpression, applyToFunctionalTerm, applyToVariable, get, getDomain, getImmutableMap, isDefining, isEmpty

- Constructor Detail
  - AbstractImmutableSubstitutionImpl
```
protected AbstractImmutableSubstitutionImpl(AtomFactory atomFactory,
                                            TermFactory termFactory,
                                            SubstitutionFactory substitutionFactory)
```
- Method Detail
  - applyToDataAtom
```
public DataAtom applyToDataAtom(DataAtom atom)
                         throws ConversionException
```
    Description copied from interface: ImmutableSubstitution
    
    Only guaranteed for T extends VariableOrGroundTerm.
    If T == ImmutableTerm, throws a ConversionException if a substituted term is not a VariableOrGroundTerm.
    
    Specified by:
    
    applyToDataAtom in interface ImmutableSubstitution<T extends ImmutableTerm>
    
    Throws:
    
    ConversionException
  - applyToDistinctVariableOnlyDataAtom
```
public DistinctVariableOnlyDataAtom applyToDistinctVariableOnlyDataAtom(DistinctVariableOnlyDataAtom dataAtom)
                                                                 throws ConversionException
```
    Specified by:
    
    applyToDistinctVariableOnlyDataAtom in interface ImmutableSubstitution<T extends ImmutableTerm>
    
    Throws:
    
    ConversionException
  - composeWith
```
public ImmutableSubstitution<ImmutableTerm> composeWith(ImmutableSubstitution<? extends ImmutableTerm> f)
```
    " "this o f" Equivalent to the function x -> this.apply(f.apply(x)) Follows the formal definition of a the composition of two substitutions.
    
    Specified by:
    
    composeWith in interface ImmutableSubstitution<T extends ImmutableTerm>
  - composeWith2
```
public ImmutableSubstitution<T> composeWith2(ImmutableSubstitution<? extends T> g)
```
    Specified by:
    
    composeWith2 in interface ImmutableSubstitution<T extends ImmutableTerm>
  - computeUnionMap
```
protected Optional<com.google.common.collect.ImmutableMap<Variable,T>> computeUnionMap(ImmutableSubstitution<T> otherSubstitution)
```
    In case some sub-classes wants to add a new unionXX method returning an optional in their own type. TODO: explain
  - union
```
public Optional<ImmutableSubstitution<T>> union(ImmutableSubstitution<T> otherSubstitution)
```
    Description copied from interface: ImmutableSubstitution
    
    Because of the optional cannot be overloaded.
    
    Specified by:
    
    union in interface ImmutableSubstitution<T extends ImmutableTerm>
  - unionHeterogeneous
```
public Optional<ImmutableSubstitution<? extends ImmutableTerm>> unionHeterogeneous(ImmutableSubstitution<? extends ImmutableTerm> otherSubstitution)
```
    Description copied from interface: ImmutableSubstitution
    
    TODO: explain
    
    Specified by:
    
    unionHeterogeneous in interface ImmutableSubstitution<T extends ImmutableTerm>
  - applyToTarget
```
public ImmutableSubstitution<ImmutableTerm> applyToTarget(ImmutableSubstitution<? extends ImmutableTerm> otherSubstitution)
```
    Description copied from interface: ImmutableSubstitution
    
    Applies the current substitution to the "target" part of another substitution
    
    Specified by:
    
    applyToTarget in interface ImmutableSubstitution<T extends ImmutableTerm>
  - equals
```
public boolean equals(Object other)
```
    Overrides:
    
    equals in class Object
  - constructNewSubstitution
```
protected abstract ImmutableSubstitution<T> constructNewSubstitution(com.google.common.collect.ImmutableMap<Variable,T> map)
```
  - orientate
```
public ImmutableSubstitution<T> orientate(com.google.common.collect.ImmutableList<Variable> priorityVariables)
```
    Description copied from interface: ImmutableSubstitution
    
    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.
    
    Specified by:
    
    orientate in interface ImmutableSubstitution<T extends ImmutableTerm>
  - convertIntoBooleanExpression
```
public Optional<ImmutableExpression> convertIntoBooleanExpression()
```
    Specified by:
    
    convertIntoBooleanExpression in interface ImmutableSubstitution<T extends ImmutableTerm>
  - reduceDomainToIntersectionWith
```
public ImmutableSubstitution<T> reduceDomainToIntersectionWith(com.google.common.collect.ImmutableSet<Variable> restrictingDomain)
```
    Description copied from interface: ImmutableSubstitution
    
    Reduces the substitution's domain to its intersection with the argument domain
    
    Specified by:
    
    reduceDomainToIntersectionWith in interface ImmutableSubstitution<T extends ImmutableTerm>
  - simplifyValues
```
public ImmutableSubstitution<ImmutableTerm> simplifyValues(VariableNullability variableNullability)
```
    Specified by:
    
    simplifyValues in interface ImmutableSubstitution<T extends ImmutableTerm>
  - simplifyValues
```
public ImmutableSubstitution<ImmutableTerm> simplifyValues()
```
    Specified by:
    
    simplifyValues in interface ImmutableSubstitution<T extends ImmutableTerm>
  - simplifyValues
```
public ImmutableSubstitution<ImmutableTerm> simplifyValues(Optional<VariableNullability> variableNullability)
```
  - convertIntoBooleanExpression
```
protected Optional<ImmutableExpression> convertIntoBooleanExpression(ImmutableSubstitution<? extends ImmutableTerm> substitution)
```
  - getVariableOrGroundTermFragment
```
public ImmutableSubstitution<VariableOrGroundTerm> getVariableOrGroundTermFragment()
```
    Specified by:
    
    getVariableOrGroundTermFragment in interface ImmutableSubstitution<T extends ImmutableTerm>
  - getNonGroundFunctionalTermFragment
```
public ImmutableSubstitution<NonGroundFunctionalTerm> getNonGroundFunctionalTermFragment()
```
    Specified by:
    
    getNonGroundFunctionalTermFragment in interface ImmutableSubstitution<T extends ImmutableTerm>
  - getGroundFunctionalTermFragment
```
public ImmutableSubstitution<GroundFunctionalTerm> getGroundFunctionalTermFragment()
```
    Specified by:
    
    getGroundFunctionalTermFragment in interface ImmutableSubstitution<T extends ImmutableTerm>
  - getNonFunctionalTermFragment
```
public ImmutableSubstitution<NonFunctionalTerm> getNonFunctionalTermFragment()
```
    Specified by:
    
    getNonFunctionalTermFragment in interface ImmutableSubstitution<T extends ImmutableTerm>
  - getFunctionalTermFragment
```
public ImmutableSubstitution<ImmutableFunctionalTerm> getFunctionalTermFragment()
```
    Specified by:
    
    getFunctionalTermFragment in interface ImmutableSubstitution<T extends ImmutableTerm>
  - getNonVariableTermFragment
```
public ImmutableSubstitution<NonVariableTerm> getNonVariableTermFragment()
```
    Specified by:
    
    getNonVariableTermFragment in interface ImmutableSubstitution<T extends ImmutableTerm>

Class AbstractImmutableSubstitutionImpl<T extends ImmutableTerm>

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

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

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

Constructor Detail

AbstractImmutableSubstitutionImpl

Method Detail

applyToDataAtom

applyToDistinctVariableOnlyDataAtom

composeWith

composeWith2

computeUnionMap

union

unionHeterogeneous

applyToTarget

equals

constructNewSubstitution

orientate

convertIntoBooleanExpression

reduceDomainToIntersectionWith

simplifyValues

simplifyValues

simplifyValues

convertIntoBooleanExpression

getVariableOrGroundTermFragment

getNonGroundFunctionalTermFragment

getGroundFunctionalTermFragment

getNonFunctionalTermFragment

getFunctionalTermFragment

getNonVariableTermFragment