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

Packages that use TermFactory

Package	Description
it.unibz.inf.ontop.constraints
it.unibz.inf.ontop.injection
it.unibz.inf.ontop.injection.impl
it.unibz.inf.ontop.iq.impl
it.unibz.inf.ontop.iq.node.impl
it.unibz.inf.ontop.model.term
it.unibz.inf.ontop.model.term.functionsymbol
it.unibz.inf.ontop.model.term.functionsymbol.db
it.unibz.inf.ontop.model.term.functionsymbol.db.impl
it.unibz.inf.ontop.model.term.functionsymbol.impl
it.unibz.inf.ontop.model.term.impl
it.unibz.inf.ontop.substitution.impl
it.unibz.inf.ontop.utils.impl

Uses of TermFactory in it.unibz.inf.ontop.constraints

Methods in it.unibz.inf.ontop.constraints with parameters of type TermFactory

Modifier and Type	Method and Description
ImmutableExpression	ImmutableHomomorphism.applyToBooleanExpression(ImmutableExpression booleanExpression, TermFactory termFactory)

Uses of TermFactory in it.unibz.inf.ontop.injection

Methods in it.unibz.inf.ontop.injection that return TermFactory

Modifier and Type	Method and Description
TermFactory	CoreSingletons.getTermFactory()
TermFactory	OntopModelConfiguration.getTermFactory()

Uses of TermFactory in it.unibz.inf.ontop.injection.impl

Methods in it.unibz.inf.ontop.injection.impl that return TermFactory

Modifier and Type	Method and Description
TermFactory	OntopModelConfigurationImpl.getTermFactory()
TermFactory	CoreSingletonsImpl.getTermFactory()

Uses of TermFactory in it.unibz.inf.ontop.iq.impl

Constructors in it.unibz.inf.ontop.iq.impl with parameters of type TermFactory

Constructor and Description
AbstractCompositeIQTree(N rootNode, com.google.common.collect.ImmutableList<IQTree> children, IQProperties iqProperties, IQTreeTools iqTreeTools, IntermediateQueryFactory iqFactory, TermFactory termFactory)
AbstractCompositeIQTree(N rootNode, com.google.common.collect.ImmutableList<IQTree> children, IQTreeCache treeCache, IQTreeTools iqTreeTools, IntermediateQueryFactory iqFactory, TermFactory termFactory)

Uses of TermFactory in it.unibz.inf.ontop.iq.node.impl

Fields in it.unibz.inf.ontop.iq.node.impl declared as TermFactory

Modifier and Type	Field and Description
protected TermFactory	JoinOrFilterNodeImpl.termFactory

Constructors in it.unibz.inf.ontop.iq.node.impl with parameters of type TermFactory

Constructor and Description
AggregationNodeImpl(com.google.common.collect.ImmutableSet<Variable> groupingVariables, ImmutableSubstitution<ImmutableFunctionalTerm> substitution, SubstitutionFactory substitutionFactory, IntermediateQueryFactory iqFactory, AggregationNormalizer aggregationNormalizer, ImmutableUnificationTools unificationTools, ConstructionNodeTools constructionNodeTools, ImmutableSubstitutionTools substitutionTools, TermFactory termFactory, CoreUtilsFactory coreUtilsFactory, OntopModelSettings settings)
ExtendedProjectionNodeImpl(SubstitutionFactory substitutionFactory, IntermediateQueryFactory iqFactory, ImmutableUnificationTools unificationTools, ConstructionNodeTools constructionNodeTools, ImmutableSubstitutionTools substitutionTools, TermFactory termFactory, CoreUtilsFactory coreUtilsFactory)
InnerJoinNodeImpl(Optional<ImmutableExpression> optionalFilterCondition, TermNullabilityEvaluator nullabilityEvaluator, TermFactory termFactory, TypeFactory typeFactory, IntermediateQueryFactory iqFactory, SubstitutionFactory substitutionFactory, ConstructionNodeTools constructionNodeTools, ImmutableUnificationTools unificationTools, ImmutableSubstitutionTools substitutionTools, JoinOrFilterVariableNullabilityTools variableNullabilityTools, ConditionSimplifier conditionSimplifier, InnerJoinNormalizer normalizer)
JoinLikeNodeImpl(Optional<ImmutableExpression> optionalJoinCondition, TermNullabilityEvaluator nullabilityEvaluator, TermFactory termFactory, IntermediateQueryFactory iqFactory, TypeFactory typeFactory, SubstitutionFactory substitutionFactory, ImmutableUnificationTools unificationTools, ImmutableSubstitutionTools substitutionTools)
JoinOrFilterNodeImpl(Optional<ImmutableExpression> optionalFilterCondition, TermNullabilityEvaluator nullabilityEvaluator, TermFactory termFactory, IntermediateQueryFactory iqFactory, TypeFactory typeFactory, SubstitutionFactory substitutionFactory, ImmutableUnificationTools unificationTools, ImmutableSubstitutionTools substitutionTools)

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

Methods in it.unibz.inf.ontop.model.term with parameters of type TermFactory

Modifier and Type	Method and Description
ImmutableExpression	ImmutableExpression.negate(TermFactory termFactory) Returns the equivalent to NOT(this)

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

Methods in it.unibz.inf.ontop.model.term.functionsymbol with parameters of type TermFactory

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	FunctionSymbol.analyzeInjectivity(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
Optional<SPARQLAggregationFunctionSymbol.AggregationSimplification>	SPARQLAggregationFunctionSymbol.decomposeIntoDBAggregation(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, com.google.common.collect.ImmutableList<com.google.common.collect.ImmutableSet<RDFTermType>> possibleRDFTypes, boolean hasGroupBy, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
Constant	AggregationFunctionSymbol.evaluateEmptyBag(TermFactory termFactory)
IncrementalEvaluation	FunctionSymbol.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
FunctionSymbol.FunctionalTermNullability	FunctionSymbol.evaluateNullability(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, VariableNullability childNullability, TermFactory termFactory)
IncrementalEvaluation	FunctionSymbol.evaluateStrictEq(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, ImmutableTerm otherTerm, TermFactory termFactory, VariableNullability variableNullability)
default ImmutableFunctionalTerm	RDFTermTypeFunctionSymbol.lift(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,? extends ImmutableTerm> caseTermFct, TermFactory termFactory, boolean isBoolean)
ImmutableFunctionalTerm	RDFTermTypeFunctionSymbol.lift(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,ImmutableTerm> caseTermFct, TermFactory termFactory) Builds a DB CASE functional term with an "entry" for possible DBConstant value.
ImmutableExpression	RDFTermTypeFunctionSymbol.liftExpression(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,ImmutableExpression> caseExpressionFct, TermFactory termFactory) Builds a boolean DB CASE functional term with an "entry" for possible DBConstant value.
ImmutableExpression	BooleanFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory) Usually NOT supported when the function symbol blocks negation.
ImmutableTerm	FunctionSymbol.simplify(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
default ImmutableTerm	BooleanFunctionSymbol.simplify2VL(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) Can further simplify than the simplify(...) because here FALSE can be treated as equivalent to NULL (2-valued logic) By default, reuses simplify(...).
FunctionalTermSimplification	FunctionSymbol.simplifyAsGuaranteedToBeNonNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory) See ImmutableFunctionalTerm.simplifyAsGuaranteedToBeNonNull() for an explanation

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

Methods in it.unibz.inf.ontop.model.term.functionsymbol.db with parameters of type TermFactory

Modifier and Type	Method and Description
String	DBFunctionSymbolSerializer.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Returns a String in the native query language.
ImmutableExpression	DBIfElseNullFunctionSymbol.liftUnaryBooleanFunctionSymbol(com.google.common.collect.ImmutableList<? extends ImmutableTerm> ifElseNullTerms, BooleanFunctionSymbol unaryBooleanFunctionSymbol, TermFactory termFactory) Returns BOOL_IF_ELSE_NULL(c, f(v)) where f is an unary BooleanFunctionSymbol, and c and v and the initial terms
ImmutableExpression	DBIfThenFunctionSymbol.pushDownExpression(ImmutableExpression expression, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory) Pushes a unary boolean function symbol down to the "then" arguments For instance, f(CASE(c1, t1, c2, t2, t3), t4) -> BOOL_CASE(c1, f(t1,t4), c2, f(t2,t4), f(t3,t4))
ImmutableFunctionalTerm	DBIfThenFunctionSymbol.pushDownRegularFunctionalTerm(ImmutableFunctionalTerm functionalTerm, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory) Similar to pushDownExpression(...) but for regular functional terms

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

Methods in it.unibz.inf.ontop.model.term.functionsymbol.db.impl with parameters of type TermFactory

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	DefaultDBIfElseNullFunctionSymbol.analyzeInjectivity(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	AbstractDBConcatFunctionSymbol.analyzeInjectivity(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
protected ImmutableFunctionalTerm	DBBooleanCaseFunctionSymbolImpl.buildCase(Stream<Map.Entry<ImmutableExpression,? extends ImmutableTerm>> newWhenPairs, ImmutableTerm defaultValue, TermFactory termFactory)
protected ImmutableFunctionalTerm	AbstractDBIfThenFunctionSymbol.buildCase(Stream<Map.Entry<ImmutableExpression,? extends ImmutableTerm>> newWhenPairs, ImmutableTerm defaultValue, TermFactory termFactory) Can be overridden
protected ImmutableExpression	DefaultDBDateInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected abstract ImmutableExpression	AbstractDBInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected ImmutableExpression	DefaultDBNumericInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected ImmutableExpression	DefaultDBDatetimeInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected ImmutableExpression	DefaultDBDefaultInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected ImmutableExpression	DefaultDBStringInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected ImmutableExpression	DefaultDBBooleanInequalityOperator.buildInequality(InequalityLabel inequalityLabel, com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected ImmutableTerm	NullIfDBFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DBContainsFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DBCountFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultDBCoalesceFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractDBStrictEqNeqFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultDBIsTrueFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	SimplifiableTypedNullFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultDBAndFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) NB: terms are assumed to be either TRUE, FALSE, NULL or ImmutableExpressions.
protected ImmutableTerm	AbstractDBIsStringEmptyFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultDBNumericInequalityOperator.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	TemporaryDBTypeConversionToStringFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) Minimalistic optimization: just optimize when the sub-term is a DB string constant.
protected ImmutableTerm	AbstractOrNullFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractDBTypeConversionFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultDBOrFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) NB: terms are assumed to be either TRUE, FALSE, NULL or ImmutableExpressions.
protected ImmutableTerm	DefaultDBNotFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultDBNonStrictStringEqOperator.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractDBIsNullOrNotFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	ObjectStringTemplateFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultDBNonStrictNumericEqOperator.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractR2RMLSafeIRIEncodeFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultSimpleDBCastFunctionSymbol.buildTermFromFunctionalTerm(ImmutableFunctionalTerm subTerm, TermFactory termFactory, VariableNullability variableNullability) Tries to simplify nested casts
protected ImmutableTerm	DefaultBooleanDenormFunctionSymbol.buildTermFromFunctionalTerm(ImmutableFunctionalTerm subTerm, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractTimestampISODenormFunctionSymbol.buildTermFromFunctionalTerm(ImmutableFunctionalTerm subTerm, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractDBTypeConversionFunctionSymbolImpl.buildTermFromFunctionalTerm(ImmutableFunctionalTerm subTerm, TermFactory termFactory, VariableNullability variableNullability) Default implementation
protected boolean	DefaultDBIfElseNullFunctionSymbol.canBeReplacedByValue(ImmutableExpression conditionExpression, ImmutableTerm possibleValue, TermFactory termFactory) When the condition is only composed of IS_NOT_NULL expressions, see if the IF_ELSE_NULL(...) can be replaced by its "then" value TODO: group together terms that are known to be nullable together to detect more cases
static ImmutableTerm	DefaultDBOrFunctionSymbol.computeNewDisjunction(com.google.common.collect.ImmutableList<ImmutableTerm> evaluatedTerms, TermFactory termFactory) Temporarily public TODO: hide it again
protected DBConstant	DefaultSimpleDBCastFunctionSymbol.convertDBConstant(DBConstant constant, TermFactory termFactory)
protected ImmutableTerm	DefaultNumberNormAsBooleanFunctionSymbol.convertDBConstant(DBConstant constant, TermFactory termFactory)
protected DBConstant	OneLetterBooleanNormFunctionSymbolImpl.convertDBConstant(DBConstant constant, TermFactory termFactory)
protected DBConstant	TemporaryDBTypeConversionToStringFunctionSymbolImpl.convertDBConstant(DBConstant constant, TermFactory termFactory)
protected DBConstant	DefaultBooleanDenormFunctionSymbol.convertDBConstant(DBConstant constant, TermFactory termFactory)
protected DBConstant	OneDigitBooleanNormFunctionSymbolImpl.convertDBConstant(DBConstant constant, TermFactory termFactory)
protected ImmutableTerm	AbstractTimestampISODenormFunctionSymbol.convertDBConstant(DBConstant constant, TermFactory termFactory)
protected abstract ImmutableTerm	AbstractDBTypeConversionFunctionSymbolImpl.convertDBConstant(DBConstant constant, TermFactory termFactory)
protected DBConstant	DefaultBooleanNormFunctionSymbol.convertDBConstant(DBConstant constant, TermFactory termFactory)
protected ImmutableTerm	DefaultTimeTzNormalizationFunctionSymbol.convertDBConstant(DBConstant constant, TermFactory termFactory) No optimization
protected boolean	DefaultDBIsTrueFunctionSymbol.evaluateDBConstant(DBConstant constant, TermFactory termFactory)
protected boolean	OneDigitDBIsTrueFunctionSymbolImpl.evaluateDBConstant(DBConstant constant, TermFactory termFactory)
protected boolean	OneLetterDBIsTrueFunctionSymbolImpl.evaluateDBConstant(DBConstant constant, TermFactory termFactory)
Constant	DBCountFunctionSymbolImpl.evaluateEmptyBag(TermFactory termFactory)
Constant	DBMaxFunctionSymbolImpl.evaluateEmptyBag(TermFactory termFactory)
Constant	DBMinFunctionSymbolImpl.evaluateEmptyBag(TermFactory termFactory)
Constant	NullIgnoringDBAvgFunctionSymbol.evaluateEmptyBag(TermFactory termFactory)
Constant	NullIgnoringDBSumFunctionSymbol.evaluateEmptyBag(TermFactory termFactory)
IncrementalEvaluation	NullIfDBFunctionSymbolImpl.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
IncrementalEvaluation	DefaultDBCoalesceFunctionSymbol.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
IncrementalEvaluation	DefaultDBIfElseNullFunctionSymbol.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
IncrementalEvaluation	NullToleratingDBConcatFunctionSymbol.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) Never returns NULL
IncrementalEvaluation	AbstractDBIsNullOrNotFunctionSymbol.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
IncrementalEvaluation	DBIntIndexFunctionSymbolImpl.evaluateStrictEq(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, ImmutableTerm otherTerm, TermFactory termFactory, VariableNullability variableNullability)
protected IncrementalEvaluation	ObjectStringTemplateFunctionSymbolImpl.evaluateStrictEqWithFunctionalTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, ImmutableFunctionalTerm otherTerm, TermFactory termFactory, VariableNullability variableNullability)
protected IncrementalEvaluation	DefaultSimpleDBCastFunctionSymbol.evaluateStrictEqWithNonNullConstant(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant otherTerm, TermFactory termFactory, VariableNullability variableNullability) Gets rid of the cast and simplifies the strict equality
protected IncrementalEvaluation	DefaultNumberNormAsBooleanFunctionSymbol.evaluateStrictEqWithNonNullConstant(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant otherTerm, TermFactory termFactory, VariableNullability variableNullability)
protected IncrementalEvaluation	DefaultCastIntegerToStringFunctionSymbol.evaluateStrictEqWithNonNullConstant(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant otherTerm, TermFactory termFactory, VariableNullability variableNullability) Gets rid of the cast and simplifies the strict equality.
protected IncrementalEvaluation	ObjectStringTemplateFunctionSymbolImpl.evaluateStrictEqWithNonNullConstant(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant otherTerm, TermFactory termFactory, VariableNullability variableNullability)
protected IncrementalEvaluation	AbstractR2RMLSafeIRIEncodeFunctionSymbol.evaluateStrictEqWithNonNullConstant(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant otherTerm, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractDBIfThenElseFunctionSymbol.extractDefaultValue(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
protected abstract ImmutableTerm	AbstractDBIfThenFunctionSymbol.extractDefaultValue(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
protected ImmutableTerm	DefaultDBIfElseNullFunctionSymbol.extractDefaultValue(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
protected ImmutableTerm	DefaultDBCaseFunctionSymbol.extractDefaultValue(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
String	DefaultSimpleDBCastFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultNonDeterministicNullaryFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	NullIfDBFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultDBStrStartsWithFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultTypedDBMathBinaryOperator.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	AbstractDBNonStrictEqOperator.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Can be overridden
String	DBContainsFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultDBCoalesceFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DBIntIndexFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Encodes it as a SQL case
String	DefaultDBIsTrueFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultDBStrEndsWithFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	AbstractTimestampISONormFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DBLikeFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	SimplifiableTypedNullFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultDBAndFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultNumberNormAsBooleanFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	NonSimplifiableTypedNullFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	AbstractDBInequalityOperator.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Can be overridden
String	StandardNotationDBBooleanFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	TrueOrNullFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	SimpleTypedDBFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	TemporaryDBTypeConversionToStringFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultDBStrictNEqFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultBooleanDenormFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	AbstractSimpleMultitypedDBFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	AbstractTimestampISODenormFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultDBIfElseNullFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	MockupDBIsNullOrNotFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultBooleanNormFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultDBOrFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultDBNotFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DBFunctionSymbolWithSerializerImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultDBStrictEqFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	AbstractDBConcatFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	AbstractDBStrBeforeOrAfterFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	MockupR2RMLSafeIRIEncodeFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultUntypedDBMathBinaryOperator.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	FalseOrNullFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultDBCaseFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	ObjectStringTemplateFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	WrappedDBBooleanCaseFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Replaces the then expressions by cases.
String	SQLServerDBIsTrueFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultTimeTzNormalizationFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	MockupDBIfElseNullFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultUntypedDBFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	AbstractDBAggregationFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected com.google.common.collect.ImmutableList<DBConstant>	ObjectStringTemplateFunctionSymbolImpl.getTemplateConstants(TermFactory termFactory)
ImmutableExpression	DefaultDBIfElseNullFunctionSymbol.liftUnaryBooleanFunctionSymbol(com.google.common.collect.ImmutableList<? extends ImmutableTerm> ifElseNullTerms, BooleanFunctionSymbol unaryBooleanFunctionSymbol, TermFactory termFactory)
ImmutableExpression	DBBooleanCaseFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBStrStartsWithFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AbstractDBNonStrictEqOperator.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DBContainsFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultSimpleDBBooleanCastFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBIsTrueFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DBBooleanFunctionSymbolWithSerializerImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBStrEndsWithFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DBLikeFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBAndFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AbstractDBInequalityOperator.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AbstractDBIsStringEmptyFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	BooleanDBIfElseNullFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AbstractOrNullFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBStrictNEqFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultBooleanDenormFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBOrFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBNotFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	DefaultDBStrictEqFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AbstractDBIsNullOrNotFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	MockupSimpleDBBooleanCastFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
static ImmutableTerm	Nullifiers.nullify(ImmutableTerm term, ImmutableTerm termToReplaceByNull, TermFactory termFactory) Recursive
ImmutableExpression	AbstractDBIfThenFunctionSymbol.pushDownExpression(ImmutableExpression expression, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory)
ImmutableExpression	DefaultDBIfElseNullFunctionSymbol.pushDownExpression(ImmutableExpression expression, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory)
protected <T extends ImmutableFunctionalTerm> T	AbstractDBIfThenFunctionSymbol.pushDownFunctionalTerm(T functionalTerm, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory, BiFunction<FunctionSymbol,com.google.common.collect.ImmutableList<? extends ImmutableTerm>,T> functionalTermCst, BiFunction<Stream<Map.Entry<ImmutableExpression,T>>,T,T> caseCst)
ImmutableFunctionalTerm	AbstractDBIfThenFunctionSymbol.pushDownRegularFunctionalTerm(ImmutableFunctionalTerm functionalTerm, int indexOfDBIfThenFunctionSymbol, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeContains(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeContains(com.google.common.collect.ImmutableList<? extends ImmutableTerm> immutableTerms, Function<ImmutableTerm,String> immutableTermStringFunction, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeDayFromDate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeDayFromDate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeDayFromDatetime(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeDayFromDatetime(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeHours(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeHours(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeMD5(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeMD5(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeMinutes(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeMinutes(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeMonthFromDate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeMonthFromDate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeMonthFromDatetime(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeMonthFromDatetime(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeSeconds(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeSeconds(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeSHA1(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeSHA1(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeSHA256(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeSHA256(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeSHA512(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeSHA512(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeStrAfter(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeStrAfter(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeStrBefore(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeStrBefore(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeTz(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeTz(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeYearFromDate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeYearFromDate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeYearFromDatetime(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	MockupDBFunctionSymbolFactory.serializeYearFromDatetime(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected ImmutableTerm	BooleanDBIfElseNullFunctionSymbolImpl.simplify(ImmutableExpression newCondition, ImmutableTerm newThenValue, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultDBIfElseNullFunctionSymbol.simplify(ImmutableExpression newCondition, ImmutableTerm newThenValue, TermFactory termFactory, VariableNullability variableNullability)
ImmutableTerm	DBIntIndexFunctionSymbolImpl.simplify(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
ImmutableTerm	AbstractDBIfThenElseFunctionSymbol.simplify(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
ImmutableTerm	AbstractDBIfThenFunctionSymbol.simplify(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
ImmutableTerm	DefaultDBIfElseNullFunctionSymbol.simplify(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
ImmutableTerm	DBBooleanCaseFunctionSymbolImpl.simplify2VL(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
ImmutableTerm	BooleanDBIfElseNullFunctionSymbolImpl.simplify2VL(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
ImmutableTerm	AbstractOrNullFunctionSymbol.simplify2VL(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) 2VL: the NULL is considered "equivalent" to FALSE
ImmutableTerm	DefaultDBNotFunctionSymbol.simplify2VL(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
ImmutableTerm	AbstractDBBooleanConnectorFunctionSymbol.simplify2VL(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) Propagates the info that 2VL can be applied to the sub-expressions.
protected com.google.common.collect.ImmutableList<ImmutableTerm>	DefaultDBAndFunctionSymbol.simplify2VLInteractions(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected com.google.common.collect.ImmutableList<ImmutableTerm>	DefaultDBOrFunctionSymbol.simplify2VLInteractions(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected abstract com.google.common.collect.ImmutableList<ImmutableTerm>	AbstractDBBooleanConnectorFunctionSymbol.simplify2VLInteractions(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
FunctionalTermSimplification	NullIfDBFunctionSymbolImpl.simplifyAsGuaranteedToBeNonNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory) If guaranteed to be non-null, only considers the first term.
protected com.google.common.collect.ImmutableList<ImmutableTerm>	DefaultDBAndFunctionSymbol.simplifyInteractions(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) Look at the interaction between conjuncts
protected com.google.common.collect.ImmutableList<ImmutableTerm>	DefaultDBOrFunctionSymbol.simplifyInteractions(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) Look at the interaction between disjuncts
protected com.google.common.collect.ImmutableList<ImmutableTerm>	AbstractDBBooleanConnectorFunctionSymbol.simplifyIsNullOrIsNotNull(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability, boolean lookForIsNull) Look for conjuncts that are IS_NULL(...) or disjuncts that are IS_NOT_NULL(...) and uses them to nullify some terms
protected ImmutableExpression	DBBooleanCaseFunctionSymbolImpl.simplifyValue(ImmutableTerm immutableTerm, VariableNullability variableNullability, TermFactory termFactory)
protected ImmutableTerm	AbstractDBIfThenFunctionSymbol.simplifyValue(ImmutableTerm immutableTerm, VariableNullability variableNullability, TermFactory termFactory) Can be overridden
protected ImmutableFunctionalTerm	DefaultNumberNormAsBooleanFunctionSymbol.transformIntoDBCase(ImmutableTerm subTerm, TermFactory termFactory)
protected ImmutableFunctionalTerm	DefaultBooleanDenormFunctionSymbol.transformIntoDBCase(ImmutableTerm subTerm, TermFactory termFactory)
protected ImmutableFunctionalTerm	DefaultBooleanNormFunctionSymbol.transformIntoDBCase(ImmutableTerm subTerm, TermFactory termFactory)
protected com.google.common.collect.ImmutableList<? extends ImmutableTerm>	AbstractDBIfThenFunctionSymbol.transformIntoRegularArguments(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, TermFactory termFactory) Requires some of its arguments to be expressions
protected com.google.common.collect.ImmutableList<? extends ImmutableTerm>	AbstractOrNullFunctionSymbol.transformIntoRegularArguments(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, TermFactory termFactory) Requires its arguments to be expressions
protected com.google.common.collect.ImmutableList<? extends ImmutableTerm>	DefaultDBNotFunctionSymbol.transformIntoRegularArguments(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, TermFactory termFactory) Requires its arguments to be expressions
protected com.google.common.collect.ImmutableList<? extends ImmutableTerm>	AbstractDBBooleanConnectorFunctionSymbol.transformIntoRegularArguments(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, TermFactory termFactory) Requires its arguments to be expressions

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

Methods in it.unibz.inf.ontop.model.term.functionsymbol.impl with parameters of type TermFactory

Modifier and Type	Method and Description
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	FunctionSymbolImpl.analyzeInjectivity(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory) To be overridden when is sometimes but not always injective in the absence of non-injective functional terms
Optional<ImmutableFunctionalTerm.FunctionalTermDecomposition>	ConcatSPARQLFunctionSymbolImpl.analyzeInjectivity(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
protected ImmutableTerm	LangTagFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	NowSPARQLFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	SameTermSPARQLFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) Always simplifies itself
protected ImmutableTerm	ReduciblePositiveAritySPARQLFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AreCompatibleRDFStringFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	UnaryLatelyTypedFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractCommonDenominatorFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) To be overridden by concrete classes Default case: looks for DBIfThen
protected ImmutableTerm	RDFTermFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	BinaryNumericLexicalFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	CoalesceSPARQLFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	StrUUIDSPARQLFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LexicalLangMatchesFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	FunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) By default, just build a new functional term.
protected ImmutableTerm	RDFTermTypeFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	CommonPropagatedOrSubstitutedNumericTypeFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	CountSPARQLFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	UUIDSPARQLFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	BooleanFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	RandSPARQLFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	RDFDatatypeStringFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	CommonDenominatorFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) Reduces all the RDFTermTypeConstants into one.
protected ImmutableTerm	AbstractBinaryBooleanOperatorSPARQLFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) Type of the input is not checked as it cannot be a source of SPARQL errors.
protected ImmutableTerm	AbstractBinaryComparisonSPARQLFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LexicalEBVFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	RDF2DBBooleanFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	IsARDFTermTypeFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	EBVSPARQLLikeFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	UnaryNumericSPARQLAggregationFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	SumSPARQLFunctionSymbolImpl.combineAggregates(ImmutableTerm aggregate1, ImmutableTerm aggregate2, TermFactory termFactory)
protected abstract ImmutableTerm	SumLikeSPARQLAggregationFunctionSymbolImpl.combineAggregates(ImmutableTerm aggregate1, ImmutableTerm aggregate2, TermFactory termFactory)
protected ImmutableTerm	SumLikeSPARQLAggregationFunctionSymbolImpl.combineWithFollowingAggregates(int index, com.google.common.collect.ImmutableList<Variable> orderedVariables, TermFactory termFactory, boolean isTop) Recursive
protected ImmutableTerm	LexicalNonStrictEqualityFunctionSymbolImpl.computeBooleanEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected abstract ImmutableTerm	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.computeBooleanEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LexicalInequalityFunctionSymbolImpl.computeBooleanEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LexicalNonStrictEqualityFunctionSymbolImpl.computeDateEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected abstract ImmutableTerm	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.computeDateEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LexicalInequalityFunctionSymbolImpl.computeDateEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LexicalNonStrictEqualityFunctionSymbolImpl.computeDatetimeEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected abstract ImmutableTerm	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.computeDatetimeEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LexicalInequalityFunctionSymbolImpl.computeDatetimeEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	ContainsSPARQLFunctionSymbolImpl.computeDBBooleanTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected ImmutableTerm	EndsWithSPARQLFunctionSymbolImpl.computeDBBooleanTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected abstract ImmutableTerm	StringBooleanBinarySPARQLFunctionSymbolImpl.computeDBBooleanTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected ImmutableTerm	StartsWithSPARQLFunctionSymbolImpl.computeDBBooleanTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected ImmutableTerm	LangMatchesSPARQLFunctionSymbolImpl.computeDBBooleanTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected ImmutableTerm	LexicalNonStrictEqualityFunctionSymbolImpl.computeDefaultDifferentTypeEqualityOrInequality(RDFTermType termType1, RDFTermType termType2, TermFactory termFactory)
protected abstract ImmutableTerm	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.computeDefaultDifferentTypeEqualityOrInequality(RDFTermType termType1, RDFTermType termType2, TermFactory termFactory)
protected ImmutableTerm	LexicalInequalityFunctionSymbolImpl.computeDefaultDifferentTypeEqualityOrInequality(RDFTermType termType1, RDFTermType termType2, TermFactory termFactory)
protected ImmutableTerm	LexicalNonStrictEqualityFunctionSymbolImpl.computeDefaultSameTypeEqualityOrInequality(RDFTermType termType, ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected abstract ImmutableTerm	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.computeDefaultSameTypeEqualityOrInequality(RDFTermType termType, ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LexicalInequalityFunctionSymbolImpl.computeDefaultSameTypeEqualityOrInequality(RDFTermType termType, ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableExpression	LogicalOrSPARQLFunctionSymbolImpl.computeExpression(com.google.common.collect.ImmutableList<ImmutableExpression> subExpressions, TermFactory termFactory)
protected abstract ImmutableTerm	AbstractBinaryBooleanOperatorSPARQLFunctionSymbol.computeExpression(com.google.common.collect.ImmutableList<ImmutableExpression> subExpressions, TermFactory termFactory)
protected ImmutableExpression	LogicalAndSPARQLFunctionSymbolImpl.computeExpression(com.google.common.collect.ImmutableList<ImmutableExpression> subExpressions, TermFactory termFactory)
protected abstract ImmutableExpression	AbstractUnaryBooleanSPARQLFunctionSymbol.computeExpression(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
protected ImmutableExpression	BoundSPARQLFunctionSymbolImpl.computeExpression(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
protected ImmutableExpression	NotSPARQLFunctionSymbolImpl.computeExpression(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
protected ImmutableTerm	LessThanSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected ImmutableTerm	NonStrictEqSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected abstract ImmutableTerm	AbstractBinaryComparisonSPARQLFunctionSymbol.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected ImmutableTerm	GreaterThanSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected ImmutableTerm	AbstractUnaryBooleanSPARQLFunctionSymbol.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	LcaseSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected abstract ImmutableTerm	ReduciblePositiveAritySPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm) Compute the lexical term when there is no input type error
protected ImmutableTerm	StrAfterSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	NumericBinarySPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedRDFTypeTerm)
protected ImmutableTerm	UcaseSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	ReplaceSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm) TODO: shall we consider using a DB-specific converting function for the flags, or is POSIX enough?
protected ImmutableTerm	DatatypeSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	MultitypedInputUnarySPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	SubStr2SPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	SimpleUnarySPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	StrlenSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	LangSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	Sha512SPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	Md5SPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	RegexSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm) TODO: shall we consider using a DB-specific converting function for the flags, or is POSIX enough?
protected ImmutableTerm	AbstractIsASPARQLFunctionSymbol.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	ConcatSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	StringBooleanBinarySPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	UnaryNumericSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedRDFTypeTerm)
protected ImmutableTerm	SubStr3SPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	StrSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	Sha256SPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	StrBeforeSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	Sha1SPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	EBVSPARQLLikeFunctionSymbolImpl.computeLexicalTerm(ImmutableTerm subLexicalTerm, ImmutableTerm subTypeTerm, TermFactory termFactory)
protected ImmutableTerm	StrAfterSPARQLFunctionSymbolImpl.computeLexicalTermWhenSecondArgIsNotEmpty(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
protected abstract ImmutableTerm	AbstractStrBeforeOrAfterSPARQLFunctionSymbol.computeLexicalTermWhenSecondArgIsNotEmpty(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
protected ImmutableTerm	StrBeforeSPARQLFunctionSymbolImpl.computeLexicalTermWhenSecondArgIsNotEmpty(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
protected ImmutableTerm	LexicalNonStrictEqualityFunctionSymbolImpl.computeNumericEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected abstract ImmutableTerm	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.computeNumericEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LexicalInequalityFunctionSymbolImpl.computeNumericEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LexicalNonStrictEqualityFunctionSymbolImpl.computeStringEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected abstract ImmutableTerm	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.computeStringEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LexicalInequalityFunctionSymbolImpl.computeStringEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractSubStrSPARQLFunctionSymbol.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractUnaryBooleanSPARQLFunctionSymbol.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected abstract ImmutableTerm	ReduciblePositiveAritySPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	NumericBinarySPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	ReplaceSPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) Not clear in the SPARQL specification.
protected ImmutableTerm	DatatypeSPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	MultitypedInputUnarySPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	SimpleUnarySPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractStrBeforeOrAfterSPARQLFunctionSymbol.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	StrlenSPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractUnaryStringSPARQLFunctionSymbol.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LangSPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractHashSPARQLFunctionSymbol.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	RegexSPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractIsASPARQLFunctionSymbol.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	ConcatSPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	StringBooleanBinarySPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	UnaryNumericSPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) Makes sure sub-types of xsd:integer are replaced by xsd:integer
protected ImmutableTerm	StrSPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableFunctionalTerm	SumSPARQLFunctionSymbolImpl.createAggregate(ConcreteNumericRDFDatatype rdfType, ImmutableTerm dbTerm, TermFactory termFactory)
protected ImmutableFunctionalTerm	AvgSPARQLFunctionSymbolImpl.createAggregate(ConcreteNumericRDFDatatype rdfType, ImmutableTerm dbTerm, TermFactory termFactory)
protected abstract ImmutableFunctionalTerm	UnaryNumericSPARQLAggregationFunctionSymbolImpl.createAggregate(ConcreteNumericRDFDatatype rdfType, ImmutableTerm dbTerm, TermFactory termFactory)
protected DefinitionPushDownRequest	UnaryNumericSPARQLAggregationFunctionSymbolImpl.createNonNumericRequest(ImmutableTerm subTermTypeTerm, Variable nonNumericVariable, com.google.common.collect.ImmutableSet<RDFTermType> nonNumericTypes, TermFactory termFactory)
protected ImmutableFunctionalTerm.FunctionalTermDecomposition	FunctionSymbolImpl.decomposeInjectiveTopFunctionalTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, com.google.common.collect.ImmutableSet<Variable> nonFreeVariables, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory) Only when injectivity of the top function symbol is proved!
Optional<SPARQLAggregationFunctionSymbol.AggregationSimplification>	CountSPARQLFunctionSymbolImpl.decomposeIntoDBAggregation(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, com.google.common.collect.ImmutableList<com.google.common.collect.ImmutableSet<RDFTermType>> possibleRDFTypes, boolean hasGroupBy, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory) Simplifies itself without needing the call of this method.
Optional<SPARQLAggregationFunctionSymbol.AggregationSimplification>	UnaryNumericSPARQLAggregationFunctionSymbolImpl.decomposeIntoDBAggregation(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, com.google.common.collect.ImmutableList<com.google.common.collect.ImmutableSet<RDFTermType>> possibleRDFTypes, boolean hasGroupBy, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
Optional<SPARQLAggregationFunctionSymbol.AggregationSimplification>	MinOrMaxSPARQLFunctionSymbolImpl.decomposeIntoDBAggregation(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, com.google.common.collect.ImmutableList<com.google.common.collect.ImmutableSet<RDFTermType>> possibleRDFTypes, boolean hasGroupBy, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory) TODO: put it into common in an abstract class
protected SPARQLAggregationFunctionSymbol.AggregationSimplification	AvgSPARQLFunctionSymbolImpl.decomposeMultityped(ImmutableTerm subTerm, com.google.common.collect.ImmutableSet<RDFTermType> subTermPossibleTypes, boolean hasGroupBy, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory) Here the aggregated value will be a DB decimal (we ignore the distinction between decimal, float and double) 3 possible XSD datatypes are possible for the output: DECIMAL, FLOAT and DOUBLE
protected SPARQLAggregationFunctionSymbol.AggregationSimplification	SumLikeSPARQLAggregationFunctionSymbolImpl.decomposeMultityped(ImmutableTerm subTerm, com.google.common.collect.ImmutableSet<RDFTermType> subTermPossibleTypes, boolean hasGroupBy, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
protected abstract SPARQLAggregationFunctionSymbol.AggregationSimplification	UnaryNumericSPARQLAggregationFunctionSymbolImpl.decomposeMultityped(ImmutableTerm subTerm, com.google.common.collect.ImmutableSet<RDFTermType> subTermPossibleTypes, boolean hasGroupBy, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
protected SPARQLAggregationFunctionSymbol.AggregationSimplification	UnaryNumericSPARQLAggregationFunctionSymbolImpl.decomposeUnityped(ImmutableTerm subTerm, RDFTermType subTermType, boolean hasGroupBy, VariableNullability variableNullability, VariableGenerator variableGenerator, TermFactory termFactory)
protected abstract Optional<RDFTermTypeConstant>	AbstractCommonDenominatorFunctionSymbol.evaluateCombination(com.google.common.collect.ImmutableList<RDFTermTypeConstant> constants, Optional<RDFTermTypeConstant> optionalMergedTypeConstant, TermFactory termFactory)
protected Optional<RDFTermTypeConstant>	CommonPropagatedOrSubstitutedNumericTypeFunctionSymbolImpl.evaluateCombination(com.google.common.collect.ImmutableList<RDFTermTypeConstant> constants, Optional<RDFTermTypeConstant> optionalMergedTypeConstant, TermFactory termFactory)
protected Optional<RDFTermTypeConstant>	CommonDenominatorFunctionSymbolImpl.evaluateCombination(com.google.common.collect.ImmutableList<RDFTermTypeConstant> constants, Optional<RDFTermTypeConstant> optionalMergedTypeConstant, TermFactory termFactory)
Constant	SumSPARQLFunctionSymbolImpl.evaluateEmptyBag(TermFactory termFactory)
Constant	AvgSPARQLFunctionSymbolImpl.evaluateEmptyBag(TermFactory termFactory)
Constant	CountSPARQLFunctionSymbolImpl.evaluateEmptyBag(TermFactory termFactory)
Constant	MinOrMaxSPARQLFunctionSymbolImpl.evaluateEmptyBag(TermFactory termFactory)
protected ImmutableExpression.Evaluation	ReduciblePositiveAritySPARQLFunctionSymbolImpl.evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) MUST detect ALL the cases where the SPARQL function would produce an error (that is a NULL) ---> the resulting condition must determine if the output of the SPARQL function is NULL (evaluates to FALSE or NULL) or not (evaluates to TRUE).
protected ImmutableExpression.Evaluation	ReplaceSPARQLFunctionSymbolImpl.evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) Enforces that the arguments, except the first one, are SIMPLE XSD.STRING (not langStrings)
protected ImmutableExpression.Evaluation	DivideSPARQLFunctionSymbolImpl.evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) Division by zero returns a NULL (SPARQL error) if the operands are both xsd:integer or xsd:decimal (but not if they are xsd:float and xsd:double)
protected ImmutableExpression.Evaluation	AbstractStrBeforeOrAfterSPARQLFunctionSymbol.evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableExpression.Evaluation	AbstractHashSPARQLFunctionSymbol.evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) According to the SPARQL specification, does not accept lang strings
protected ImmutableExpression.Evaluation	RegexSPARQLFunctionSymbolImpl.evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) Enforces that the arguments, except the first one, are SIMPLE XSD.STRING (not langStrings)
protected ImmutableExpression.Evaluation	StringBooleanBinarySPARQLFunctionSymbolImpl.evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableExpression.Evaluation	StrSPARQLFunctionSymbolImpl.evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) Excludes blank nodes
protected ImmutableExpression.Evaluation	BoundSPARQLFunctionSymbolImpl.evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) Never returns a NULL (SPARQL error)
protected ImmutableExpression.Evaluation	LangMatchesSPARQLFunctionSymbolImpl.evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability) In theory, both should be "simple" XSD.STRING (not langString).
IncrementalEvaluation	RDFTermFunctionSymbolImpl.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) Overridden because, it officially "tolerates" NULLs, due to the requirement that either its arguments are both null or both non-null.
IncrementalEvaluation	FunctionSymbolImpl.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) Default implementation, can be overridden
FunctionSymbol.FunctionalTermNullability	FunctionSymbolImpl.evaluateNullability(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, VariableNullability childNullability, TermFactory termFactory)
IncrementalEvaluation	RDFTermFunctionSymbolImpl.evaluateStrictEq(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, ImmutableTerm otherTerm, TermFactory termFactory, VariableNullability variableNullability)
IncrementalEvaluation	FunctionSymbolImpl.evaluateStrictEq(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, ImmutableTerm otherTerm, TermFactory termFactory, VariableNullability variableNullability) Default implementation, to be overridden to convert more cases Incoming terms are not simplified as they are presumed to be already simplified (so please simplify them before)
protected IncrementalEvaluation	FunctionSymbolImpl.evaluateStrictEqWithFunctionalTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, ImmutableFunctionalTerm otherTerm, TermFactory termFactory, VariableNullability variableNullability) Default implementation, can be overridden
protected IncrementalEvaluation	FunctionSymbolImpl.evaluateStrictEqWithNonNullConstant(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant otherTerm, TermFactory termFactory, VariableNullability variableNullability) Default implementation, does nothing, can be overridden
protected IncrementalEvaluation	RDFTermTypeFunctionSymbolImpl.evaluateStrictEqWithNonNullConstant(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant otherTerm, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	SPARQLLikeFunctionSymbolImpl.extractLexicalTerm(ImmutableTerm rdfTerm, TermFactory termFactory)
protected ImmutableTerm	DivideSPARQLFunctionSymbolImpl.extractRDFTermTypeTerm(ImmutableTerm rdfTerm, TermFactory termFactory) Makes sure that it returns a xsd:decimal if both operands are xsd:integer
protected ImmutableTerm	SPARQLLikeFunctionSymbolImpl.extractRDFTermTypeTerm(ImmutableTerm rdfTerm, TermFactory termFactory)
protected ImmutableTerm	SumSPARQLFunctionSymbolImpl.getNeutralElement(TermFactory termFactory)
protected abstract ImmutableTerm	SumLikeSPARQLAggregationFunctionSymbolImpl.getNeutralElement(TermFactory termFactory)
protected boolean	FunctionSymbolImpl.isInjective(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments, VariableNullability variableNullability, TermFactory termFactory)
ImmutableFunctionalTerm	RDFTermTypeFunctionSymbolImpl.lift(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,ImmutableTerm> caseTermFct, TermFactory termFactory)
ImmutableExpression	RDFTermTypeFunctionSymbolImpl.liftExpression(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,ImmutableExpression> caseExpressionFct, TermFactory termFactory)
ImmutableExpression	AreCompatibleRDFStringFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	LexicalLangMatchesFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	NotYetTypedEqualityFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	LexicalEBVFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	RDF2DBBooleanFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableExpression	IsARDFTermTypeFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
ImmutableTerm	FunctionSymbolImpl.simplify(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
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.
protected ImmutableTerm	AbstractCommonDenominatorFunctionSymbol.simplifyUsingMagicNumbers(com.google.common.collect.ImmutableList<ImmutableFunctionalTerm> otherTerms, Optional<RDFTermTypeConstant> optionalMergedTypeConstant, TermFactory termFactory) otherTerms: all use a RDFTermTypeFunctionSymbol.
protected ImmutableTerm	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.simplifyWithConstantTypes(TermFactory termFactory, VariableNullability variableNullability, DBTypeFactory dbTypeFactory, ImmutableTerm lexicalTerm1, ImmutableTerm lexicalTerm2, RDFTermTypeConstant typeTerm1, RDFTermTypeConstant typeTerm2)
protected com.google.common.collect.ImmutableList<? extends ImmutableTerm>	FunctionSymbolImpl.transformIntoRegularArguments(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, TermFactory termFactory) By default, reuses the same arguments Needed to be overridden by function symbols that require EXPRESSIONS for some of their arguments
protected ImmutableTerm	UnaryLatelyTypedFunctionSymbolImpl.transformNaturalDBTerm(ImmutableFunctionalTerm dbTerm, DBTermType inputDBType, RDFTermType rdfType, TermFactory termFactory) By default, returns the natural DB term
protected ImmutableTerm	UnaryLexicalFunctionSymbolImpl.transformNaturalDBTerm(ImmutableFunctionalTerm dbTerm, DBTermType inputDBType, RDFTermType rdfType, TermFactory termFactory) Converts back the natural DB term into a lexical term.
protected Optional<ImmutableTerm>	BooleanFunctionSymbolImpl.tryToLiftIfThenTerm(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected Optional<ImmutableTerm>	BooleanFunctionSymbolImpl.tryToLiftMagicNumbers(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected Optional<ImmutableTerm>	FunctionSymbolImpl.tryToLiftMagicNumbers(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability, boolean isBoolean)

Constructor parameters in it.unibz.inf.ontop.model.term.functionsymbol.impl with type arguments of type TermFactory

Constructor and Description
MultitypedInputUnarySPARQLFunctionSymbolImpl(String functionSymbolName, org.apache.commons.rdf.api.IRI functionIRI, RDFTermType inputBaseType, RDFTermType targetType, boolean isAlwaysInjective, MultitypedInputUnarySPARQLFunctionSymbolImpl.TriFunction<TermFactory,ImmutableTerm,ImmutableTerm,ImmutableFunctionalTerm> lexicalTermFct)
MultitypedInputUnarySPARQLFunctionSymbolImpl(String functionSymbolName, String officialName, RDFTermType inputBaseType, RDFTermType targetType, boolean isAlwaysInjective, MultitypedInputUnarySPARQLFunctionSymbolImpl.TriFunction<TermFactory,ImmutableTerm,ImmutableTerm,ImmutableFunctionalTerm> lexicalTermFct)
SimpleUnarySPARQLFunctionSymbolImpl(String name, org.apache.commons.rdf.api.IRI functionIRI, RDFTermType inputType, RDFTermType targetType, boolean isAlwaysInjective, BiFunction<TermFactory,ImmutableTerm,ImmutableFunctionalTerm> dbFunctionalTermFct)
SimpleUnarySPARQLFunctionSymbolImpl(String name, String officialName, RDFTermType inputType, RDFTermType targetType, boolean isAlwaysInjective, BiFunction<TermFactory,ImmutableTerm,ImmutableFunctionalTerm> dbFunctionalTermFct)

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

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

Modifier and Type	Class and Description
class	TermFactoryImpl

Methods in it.unibz.inf.ontop.model.term.impl with parameters of type TermFactory

Modifier and Type	Method and Description
static GroundTerm	GroundTermTools.castIntoGroundTerm(Term term, TermFactory termFactory)
static com.google.common.collect.ImmutableList<GroundTerm>	GroundTermTools.castIntoGroundTerms(List<? extends Term> terms, TermFactory termFactory)
ImmutableExpression	ImmutableExpressionImpl.negate(TermFactory termFactory)

Constructors in it.unibz.inf.ontop.model.term.impl with parameters of type TermFactory

Constructor and Description
GroundExpressionImpl(BooleanFunctionSymbol functor, com.google.common.collect.ImmutableList<? extends GroundTerm> terms, TermFactory termFactory)
GroundExpressionImpl(TermFactory termFactory, BooleanFunctionSymbol functor, GroundTerm... terms)
GroundFunctionalTermImpl(com.google.common.collect.ImmutableList<? extends GroundTerm> terms, FunctionSymbol functor, TermFactory termFactory)
ImmutabilityTools(TermFactory termFactory) TODO: make it private
ImmutableExpressionImpl(BooleanFunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
ImmutableExpressionImpl(TermFactory termFactory, BooleanFunctionSymbol functor, ImmutableTerm... terms)
ImmutableFunctionalTermImpl(FunctionSymbol functionSymbol, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
ImmutableFunctionalTermImpl(FunctionSymbol functor, TermFactory termFactory, ImmutableTerm... terms)
NonGroundExpressionImpl(BooleanFunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
NonGroundExpressionImpl(TermFactory termFactory, BooleanFunctionSymbol functor, ImmutableTerm... terms)
NonGroundFunctionalTermImpl(FunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
NonGroundFunctionalTermImpl(TermFactory termFactory, FunctionSymbol functor, ImmutableTerm... terms)
SimpleProtoSubstitutionImpl(com.google.common.collect.ImmutableMap<Variable,? extends T> substitutionMap, TermFactory termFactory)

Uses of TermFactory in it.unibz.inf.ontop.substitution.impl

Constructors in it.unibz.inf.ontop.substitution.impl with parameters of type TermFactory

Constructor and Description
AbstractImmutableSubstitutionImpl(AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory)
AbstractProtoSubstitution(TermFactory termFactory)
ImmutableSubstitutionImpl(com.google.common.collect.ImmutableMap<Variable,? extends T> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory)
IndempotentVar2VarSubstitutionImpl(Map<Variable,Variable> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory)
InjectiveVar2VarSubstitutionImpl(Map<Variable,Variable> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory) Regular constructor
SubstitutionImpl(Map<Variable,Term> substitutionMap, TermFactory termFactory)
SubstitutionImpl(TermFactory termFactory)
UnifierUtilities(TermFactory termFactory)
Var2VarSubstitutionImpl(Map<Variable,? extends Variable> substitutionMap, AtomFactory atomFactory, TermFactory termFactory, SubstitutionFactory substitutionFactory) Regular constructor

Uses of TermFactory in it.unibz.inf.ontop.utils.impl

Constructors in it.unibz.inf.ontop.utils.impl with parameters of type TermFactory

Constructor and Description
VariableGeneratorImpl(Collection<Variable> knownVariables, TermFactory termFactory) TODO: please use as much as possible the assisted inject pattern