it.unibz.inf.ontop.model.term.impl

Class FunctionalTermDecompositionImpl

java.lang.Object

it.unibz.inf.ontop.model.term.impl.FunctionalTermDecompositionImpl

All Implemented Interfaces:

ImmutableFunctionalTerm.FunctionalTermDecomposition

public class FunctionalTermDecompositionImpl
extends Object
implements ImmutableFunctionalTerm.FunctionalTermDecomposition

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	FunctionalTermDecompositionImpl(ImmutableTerm liftableTerm)
protected	FunctionalTermDecompositionImpl(ImmutableTerm injectiveTerm, com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm> subTermSubstitutionMap)

Method Summary

Modifier and Type	Method and Description
ImmutableTerm	getLiftableTerm() Part of the functional that is liftable (e.g.
Optional<com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm>>	getSubTermSubstitutionMap() Contains the sub-terms that are not liftable.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FunctionalTermDecompositionImpl

protected FunctionalTermDecompositionImpl(ImmutableTerm injectiveTerm,
                                          @Nonnull
                                          com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm> subTermSubstitutionMap)

FunctionalTermDecompositionImpl

protected FunctionalTermDecompositionImpl(ImmutableTerm liftableTerm)

Method Detail

getLiftableTerm

public ImmutableTerm getLiftableTerm()

Description copied from interface: ImmutableFunctionalTerm.FunctionalTermDecomposition

Part of the functional that is liftable (e.g. injective). Is usually an ImmutableFunctionalTerm itself, but in some cases it might be for instance a NULL constant

Specified by:

getLiftableTerm in interface ImmutableFunctionalTerm.FunctionalTermDecomposition

getSubTermSubstitutionMap

public Optional<com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm>> getSubTermSubstitutionMap()

Description copied from interface: ImmutableFunctionalTerm.FunctionalTermDecomposition

Contains the sub-terms that are not liftable. For each of them, a fresh variable has been created.

Specified by:

getSubTermSubstitutionMap in interface ImmutableFunctionalTerm.FunctionalTermDecomposition