Uses of Interface
it.unibz.inf.ontop.model.term.FunctionalTermSimplification

Packages that use FunctionalTermSimplification

Package	Description
it.unibz.inf.ontop.model.term
it.unibz.inf.ontop.model.term.functionsymbol
it.unibz.inf.ontop.model.term.functionsymbol.db.impl
it.unibz.inf.ontop.model.term.functionsymbol.impl
it.unibz.inf.ontop.model.term.impl

Uses of FunctionalTermSimplification in it.unibz.inf.ontop.model.term

Methods in it.unibz.inf.ontop.model.term that return FunctionalTermSimplification

Modifier and Type	Method and Description
static FunctionalTermSimplification	FunctionalTermSimplification.create(ImmutableTerm simplifiedTerm, com.google.common.collect.ImmutableSet<Variable> simplifiableVariables)
FunctionalTermSimplification	ImmutableFunctionalTerm.simplifyAsGuaranteedToBeNonNull() In some occasions, we now that a functional term will never produce a NULL in a given context (e.g.

Uses of FunctionalTermSimplification in it.unibz.inf.ontop.model.term.functionsymbol

Methods in it.unibz.inf.ontop.model.term.functionsymbol that return FunctionalTermSimplification

Modifier and Type	Method and Description
FunctionalTermSimplification	FunctionSymbol.simplifyAsGuaranteedToBeNonNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory) See ImmutableFunctionalTerm.simplifyAsGuaranteedToBeNonNull() for an explanation

Uses of FunctionalTermSimplification in it.unibz.inf.ontop.model.term.functionsymbol.db.impl

Methods in it.unibz.inf.ontop.model.term.functionsymbol.db.impl that return FunctionalTermSimplification

Modifier and Type	Method and Description
FunctionalTermSimplification	NullIfDBFunctionSymbolImpl.simplifyAsGuaranteedToBeNonNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory) If guaranteed to be non-null, only considers the first term.

Uses of FunctionalTermSimplification in it.unibz.inf.ontop.model.term.functionsymbol.impl

Methods in it.unibz.inf.ontop.model.term.functionsymbol.impl that return FunctionalTermSimplification

Modifier and Type	Method and Description
FunctionalTermSimplification	RDFTermFunctionSymbolImpl.simplifyAsGuaranteedToBeNonNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory) Overridden because RDF(...) officially "tolerates" NULLs (so as to complain when only one argument is NULL, which should never happen)
FunctionalTermSimplification	FunctionSymbolImpl.simplifyAsGuaranteedToBeNonNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory) By default, only handles the case of function symbols that do not tolerate nulls and never return nulls in the absence of nulls as input.

Uses of FunctionalTermSimplification in it.unibz.inf.ontop.model.term.impl

Classes in it.unibz.inf.ontop.model.term.impl that implement FunctionalTermSimplification

Modifier and Type	Class and Description
class	FunctionalTermSimplificationImpl

Methods in it.unibz.inf.ontop.model.term.impl that return FunctionalTermSimplification

Modifier and Type	Method and Description
FunctionalTermSimplification	ImmutableFunctionalTermImpl.simplifyAsGuaranteedToBeNonNull()