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

Class BooleanFunctionSymbolImpl

java.lang.Object

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

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

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

All Implemented Interfaces:

BooleanFunctionSymbol, FunctionSymbol, Predicate

Direct Known Subclasses:

AbstractLexicalNonStrictEqOrInequalityFunctionSymbol, AreCompatibleRDFStringFunctionSymbolImpl, DBBooleanFunctionSymbolImpl, IsARDFTermTypeFunctionSymbolImpl, LexicalEBVFunctionSymbolImpl, LexicalLangMatchesFunctionSymbolImpl, NotYetTypedEqualityFunctionSymbolImpl, RDF2DBBooleanFunctionSymbolImpl

public abstract class BooleanFunctionSymbolImpl
extends FunctionSymbolImpl
implements BooleanFunctionSymbol

Nested Class Summary

Nested classes/interfaces inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol

FunctionSymbol.FunctionalTermNullability

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BooleanFunctionSymbolImpl(String name, com.google.common.collect.ImmutableList<TermType> expectedBaseTypes, DBTermType dbBooleanTermType)

Method Summary

Modifier and Type	Method and Description
protected ImmutableTerm	buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) By default, just build a new functional term.
protected boolean	enableIfElseNullLifting() Returns false if IfElseNullLifting must be disabled althrough it may have been technically possible.
Optional<TermTypeInference>	inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
protected Optional<ImmutableTerm>	tryToLiftIfThenTerm(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected Optional<ImmutableTerm>	tryToLiftMagicNumbers(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)

Methods inherited from class it.unibz.inf.ontop.model.term.functionsymbol.impl.FunctionSymbolImpl

analyzeInjectivity, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAggregation, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, isDeterministic, isInjective, isNullable, mayReturnNullWithoutNullArguments, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull, tolerateNulls, transformIntoRegularArguments, tryToLiftMagicNumbers

Methods inherited from class it.unibz.inf.ontop.model.term.impl.PredicateImpl

clone, equals, getArity, getName, hashCode, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.BooleanFunctionSymbol

blocksNegation, negate, simplify2VL

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol

analyzeInjectivity, canBePostProcessed, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, getExpectedBaseType, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.Predicate

getArity, getName

Constructor Detail

BooleanFunctionSymbolImpl

protected BooleanFunctionSymbolImpl(@Nonnull
                                    String name,
                                    @Nonnull
                                    com.google.common.collect.ImmutableList<TermType> expectedBaseTypes,
                                    DBTermType dbBooleanTermType)

Method Detail

inferType

public Optional<TermTypeInference> inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)

Specified by:

inferType in interface FunctionSymbol

buildTermAfterEvaluation

protected ImmutableTerm buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms,
                                                 TermFactory termFactory,
                                                 VariableNullability variableNullability)

Description copied from class: FunctionSymbolImpl

By default, just build a new functional term. NB: If the function symbol does not tolerate NULL values, no need to handle them here.

Overrides:

buildTermAfterEvaluation in class FunctionSymbolImpl

tryToLiftIfThenTerm

protected Optional<ImmutableTerm> tryToLiftIfThenTerm(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms,
                                                      TermFactory termFactory,
                                                      VariableNullability variableNullability)

tryToLiftMagicNumbers

protected Optional<ImmutableTerm> tryToLiftMagicNumbers(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms,
                                                        TermFactory termFactory,
                                                        VariableNullability variableNullability)

enableIfElseNullLifting

protected boolean enableIfElseNullLifting()

Description copied from class: FunctionSymbolImpl

Returns false if IfElseNullLifting must be disabled althrough it may have been technically possible. False by defaults

Overrides:

enableIfElseNullLifting in class FunctionSymbolImpl