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

Class CommonDenominatorFunctionSymbolImpl

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.AbstractCommonDenominatorFunctionSymbol

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

All Implemented Interfaces:

FunctionSymbol, Predicate

public class CommonDenominatorFunctionSymbolImpl
extends AbstractCommonDenominatorFunctionSymbol

Nested Class Summary

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

FunctionSymbol.FunctionalTermNullability

Method Summary

Modifier and Type	Method and Description
protected ImmutableTerm	buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) Reduces all the RDFTermTypeConstants into one.
protected Optional<RDFTermTypeConstant>	evaluateCombination(com.google.common.collect.ImmutableList<RDFTermTypeConstant> constants, Optional<RDFTermTypeConstant> optionalMergedTypeConstant, TermFactory termFactory)

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

canBePostProcessed, enableIfElseNullLifting, inferType, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms, mayReturnNullWithoutNullArguments, simplifyUsingMagicNumbers, tolerateNulls

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

analyzeInjectivity, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAggregation, isDeterministic, isInjective, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull, 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.Predicate

getArity, getName

Method Detail

buildTermAfterEvaluation

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

Reduces all the RDFTermTypeConstants into one.

Overrides:

buildTermAfterEvaluation in class AbstractCommonDenominatorFunctionSymbol

evaluateCombination

protected Optional<RDFTermTypeConstant> evaluateCombination(com.google.common.collect.ImmutableList<RDFTermTypeConstant> constants,
                                                            Optional<RDFTermTypeConstant> optionalMergedTypeConstant,
                                                            TermFactory termFactory)

Specified by:

evaluateCombination in class AbstractCommonDenominatorFunctionSymbol