it.unibz.inf.ontop.model.term

Interface ImmutableFunctionalTerm.FunctionalTermDecomposition

All Known Implementing Classes:

FunctionalTermDecompositionImpl

Enclosing interface:

ImmutableFunctionalTerm

public static interface ImmutableFunctionalTerm.FunctionalTermDecomposition

Method Summary

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

Method Detail

getLiftableTerm

ImmutableTerm getLiftableTerm()

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

getSubTermSubstitutionMap

Optional<it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm>> getSubTermSubstitutionMap()

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