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

Packages that use ImmutableTerm

Package	Description
it.unibz.inf.ontop.constraints
it.unibz.inf.ontop.injection
it.unibz.inf.ontop.iq.impl
it.unibz.inf.ontop.iq.node
it.unibz.inf.ontop.iq.node.impl
it.unibz.inf.ontop.iq.node.normalization
it.unibz.inf.ontop.iq.node.normalization.impl
it.unibz.inf.ontop.iq.request
it.unibz.inf.ontop.iq.request.impl
it.unibz.inf.ontop.iq.tools
it.unibz.inf.ontop.iq.tools.impl
it.unibz.inf.ontop.iq.type
it.unibz.inf.ontop.iq.type.impl
it.unibz.inf.ontop.model.atom
it.unibz.inf.ontop.model.atom.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
it.unibz.inf.ontop.substitution.impl

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

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

Modifier and Type	Method and Description
ImmutableHomomorphism.Builder	ImmutableHomomorphism.Builder.extend(ImmutableTerm from, ImmutableTerm to)

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

Method parameters in it.unibz.inf.ontop.injection with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
ConstructionNode	IntermediateQueryFactory.createConstructionNode(com.google.common.collect.ImmutableSet<Variable> projectedVariables, ImmutableSubstitution<ImmutableTerm> substitution)

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

Method parameters in it.unibz.inf.ontop.iq.impl with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
com.google.common.collect.ImmutableSet<Variable>	IQTreeTools.computeNewProjectedVariables(ImmutableSubstitution<? extends ImmutableTerm> descendingSubstitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables)

Uses of ImmutableTerm in it.unibz.inf.ontop.iq.node

Methods in it.unibz.inf.ontop.iq.node that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
ImmutableSubstitution<ImmutableTerm>	ConstructionNode.getSubstitution()
ImmutableSubstitution<? extends ImmutableTerm>	ExtendedProjectionNode.getSubstitution() (Some) projected variable --> transformed variable

Method parameters in it.unibz.inf.ontop.iq.node with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
Optional<OrderByNode>	OrderByNode.applySubstitution(ImmutableSubstitution<? extends ImmutableTerm> substitution)
boolean	VariableNullability.canPossiblyBeNullSeparately(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Generalization to arbitrary terms
VariableNullability	VariableNullability.update(ImmutableSubstitution<? extends ImmutableTerm> substitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables)
VariableNullability	DummyVariableNullability.update(ImmutableSubstitution<? extends ImmutableTerm> substitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables) Deprecated.

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

Fields in it.unibz.inf.ontop.iq.node.impl with type parameters of type ImmutableTerm

Modifier and Type	Field and Description
ImmutableSubstitution<ImmutableTerm>	ConstructionNodeTools.NewSubstitutionPair.bindings
ImmutableSubstitution<? extends ImmutableTerm>	ConstructionNodeTools.NewSubstitutionPair.propagatedSubstitution
ImmutableSubstitution<ImmutableTerm>	ConstructionNodeImpl.PropagationResults.theta

Methods in it.unibz.inf.ontop.iq.node.impl that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
ImmutableSubstitution<ImmutableTerm>	ConstructionNodeImpl.getSubstitution()

Method parameters in it.unibz.inf.ontop.iq.node.impl with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
Optional<OrderByNode>	OrderByNodeImpl.applySubstitution(ImmutableSubstitution<? extends ImmutableTerm> substitution)
boolean	DummyVariableNullabilityImpl.canPossiblyBeNullSeparately(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
boolean	VariableNullabilityImpl.canPossiblyBeNullSeparately(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
com.google.common.collect.ImmutableSet<Variable>	ConstructionNodeTools.computeNewProjectedVariables(ImmutableSubstitution<? extends ImmutableTerm> descendingSubstitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables)
protected Optional<ExtendedProjectionNode>	ConstructionNodeImpl.computeNewProjectionNode(com.google.common.collect.ImmutableSet<Variable> newProjectedVariables, ImmutableSubstitution<ImmutableTerm> theta, IQTree newChild)
protected Optional<ExtendedProjectionNode>	AggregationNodeImpl.computeNewProjectionNode(com.google.common.collect.ImmutableSet<Variable> newProjectedVariables, ImmutableSubstitution<ImmutableTerm> theta, IQTree newChild)
protected abstract Optional<ExtendedProjectionNode>	ExtendedProjectionNodeImpl.computeNewProjectionNode(com.google.common.collect.ImmutableSet<Variable> newProjectedVariables, ImmutableSubstitution<ImmutableTerm> theta, IQTree newChild)
ConstructionNodeTools.NewSubstitutionPair	ConstructionNodeTools.traverseConstructionNode(ImmutableSubstitution<? extends ImmutableTerm> tau, ImmutableSubstitution<? extends ImmutableTerm> formerTheta, com.google.common.collect.ImmutableSet<Variable> formerV, com.google.common.collect.ImmutableSet<Variable> newV) TODO: explain
ConstructionNodeTools.NewSubstitutionPair	ConstructionNodeTools.traverseConstructionNode(ImmutableSubstitution<? extends ImmutableTerm> tau, ImmutableSubstitution<? extends ImmutableTerm> formerTheta, com.google.common.collect.ImmutableSet<Variable> formerV, com.google.common.collect.ImmutableSet<Variable> newV) TODO: explain
VariableNullability	DummyVariableNullabilityImpl.update(ImmutableSubstitution<? extends ImmutableTerm> substitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables) Deprecated.
VariableNullability	VariableNullabilityImpl.update(ImmutableSubstitution<? extends ImmutableTerm> substitution, com.google.common.collect.ImmutableSet<Variable> newScope)

Uses of ImmutableTerm in it.unibz.inf.ontop.iq.node.normalization

Methods in it.unibz.inf.ontop.iq.node.normalization that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
ImmutableSubstitution<ImmutableTerm>	ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization.getNormalizedSubstitution()

Method parameters in it.unibz.inf.ontop.iq.node.normalization with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization	ConstructionSubstitutionNormalizer.normalizeSubstitution(ImmutableSubstitution<ImmutableTerm> ascendingSubstitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables)

Uses of ImmutableTerm in it.unibz.inf.ontop.iq.node.normalization.impl

Methods in it.unibz.inf.ontop.iq.node.normalization.impl that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
ImmutableSubstitution<ImmutableTerm>	ConstructionSubstitutionNormalizerImpl.ConstructionSubstitutionNormalizationImpl.getNormalizedSubstitution()

Method parameters in it.unibz.inf.ontop.iq.node.normalization.impl with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
R	JoinLikeChildBindingLifter.BindingLiftConverter.convert(com.google.common.collect.ImmutableList<IQTree> liftedChildren, IQTree selectedGrandChild, int selectedChildPosition, Optional<ImmutableExpression> newCondition, ImmutableSubstitution<ImmutableTerm> ascendingSubstitution, ImmutableSubstitution<? extends VariableOrGroundTerm> descendingSubstitution)
ConstructionSubstitutionNormalizer.ConstructionSubstitutionNormalization	ConstructionSubstitutionNormalizerImpl.normalizeSubstitution(ImmutableSubstitution<ImmutableTerm> ascendingSubstitution, com.google.common.collect.ImmutableSet<Variable> projectedVariables) Prevents creating construction nodes out of ascending substitutions Here, variable nullability is not considered due to the complexity induced by the descending substitution

Uses of ImmutableTerm in it.unibz.inf.ontop.iq.request

Methods in it.unibz.inf.ontop.iq.request that return ImmutableTerm

Modifier and Type	Method and Description
ImmutableTerm	DefinitionPushDownRequest.getDefinitionWhenConditionSatisfied() Only when the condition is satisfied!

Methods in it.unibz.inf.ontop.iq.request with parameters of type ImmutableTerm

Modifier and Type	Method and Description
static DefinitionPushDownRequest	DefinitionPushDownRequest.create(Variable newVariable, ImmutableTerm definition, ImmutableExpression condition)

Method parameters in it.unibz.inf.ontop.iq.request with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
DefinitionPushDownRequest	DefinitionPushDownRequest.newRequest(ImmutableSubstitution<? extends ImmutableTerm> substitution)

Uses of ImmutableTerm in it.unibz.inf.ontop.iq.request.impl

Methods in it.unibz.inf.ontop.iq.request.impl that return ImmutableTerm

Modifier and Type	Method and Description
ImmutableTerm	DefPushDownRequestImpl.getDefinitionWhenConditionSatisfied()

Method parameters in it.unibz.inf.ontop.iq.request.impl with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
DefinitionPushDownRequest	DefPushDownRequestImpl.newRequest(ImmutableSubstitution<? extends ImmutableTerm> substitution)

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

Constructor and Description
DefPushDownRequestImpl(Variable newVariable, ImmutableTerm definition, ImmutableExpression condition)

Uses of ImmutableTerm in it.unibz.inf.ontop.iq.tools

Methods in it.unibz.inf.ontop.iq.tools that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
Optional<ImmutableSubstitution<ImmutableTerm>>	ProjectionDecomposer.ProjectionDecomposition.getSubSubstitution()
Optional<ImmutableSubstitution<ImmutableTerm>>	ProjectionDecomposer.ProjectionDecomposition.getTopSubstitution()

Method parameters in it.unibz.inf.ontop.iq.tools with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
ProjectionDecomposer.ProjectionDecomposition	ProjectionDecomposer.decomposeSubstitution(ImmutableSubstitution<? extends ImmutableTerm> substitution, VariableGenerator variableGenerator)

Uses of ImmutableTerm in it.unibz.inf.ontop.iq.tools.impl

Methods in it.unibz.inf.ontop.iq.tools.impl that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
Optional<ImmutableSubstitution<ImmutableTerm>>	ProjectionDecompositionImpl.getSubSubstitution()
Optional<ImmutableSubstitution<ImmutableTerm>>	ProjectionDecompositionImpl.getTopSubstitution()

Method parameters in it.unibz.inf.ontop.iq.tools.impl with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
protected static ProjectionDecomposer.ProjectionDecomposition	ProjectionDecompositionImpl.createDecomposition(ImmutableSubstitution<ImmutableTerm> topSubstitution, ImmutableSubstitution<ImmutableTerm> subSubstitution)
protected static ProjectionDecomposer.ProjectionDecomposition	ProjectionDecompositionImpl.createDecomposition(ImmutableSubstitution<ImmutableTerm> topSubstitution, ImmutableSubstitution<ImmutableTerm> subSubstitution)
protected static ProjectionDecomposer.ProjectionDecomposition	ProjectionDecompositionImpl.createSubSubstitutionDecomposition(ImmutableSubstitution<ImmutableTerm> subSubstitution)
protected static ProjectionDecomposer.ProjectionDecomposition	ProjectionDecompositionImpl.createTopSubstitutionDecomposition(ImmutableSubstitution<ImmutableTerm> topSubstitution)
ProjectionDecomposer.ProjectionDecomposition	ProjectionDecomposerImpl.decomposeSubstitution(ImmutableSubstitution<? extends ImmutableTerm> substitution, VariableGenerator variableGenerator)

Uses of ImmutableTerm in it.unibz.inf.ontop.iq.type

Methods in it.unibz.inf.ontop.iq.type with parameters of type ImmutableTerm

Modifier and Type	Method and Description
Optional<TermType>	UniqueTermTypeExtractor.extractUniqueTermType(ImmutableTerm term, IQTree subTree) Is expecting the term type to be unique.

Uses of ImmutableTerm in it.unibz.inf.ontop.iq.type.impl

Methods in it.unibz.inf.ontop.iq.type.impl with parameters of type ImmutableTerm

Modifier and Type	Method and Description
Optional<TermType>	BasicUniqueTermTypeExtractor.extractUniqueTermType(ImmutableTerm term, IQTree subTree)

Uses of ImmutableTerm in it.unibz.inf.ontop.model.atom

Methods in it.unibz.inf.ontop.model.atom with type parameters of type ImmutableTerm

Modifier and Type	Method and Description
<T extends ImmutableTerm> T	RDFAtomPredicate.ComponentGetter.get(com.google.common.collect.ImmutableList<T> atomArguments)
<T extends ImmutableTerm> Optional<T>	RDFAtomPredicate.getGraph(com.google.common.collect.ImmutableList<T> atomArguments)
<T extends ImmutableTerm> T	RDFAtomPredicate.getObject(com.google.common.collect.ImmutableList<T> atomArguments)
<T extends ImmutableTerm> T	RDFAtomPredicate.getProperty(com.google.common.collect.ImmutableList<T> atomArguments)
<T extends ImmutableTerm> T	RDFAtomPredicate.getSubject(com.google.common.collect.ImmutableList<T> atomArguments)
<T extends ImmutableTerm> com.google.common.collect.ImmutableList<T>	RDFAtomPredicate.ComponentUpdater.update(com.google.common.collect.ImmutableList<T> originalArguments, T newComponent)
default <T extends ImmutableTerm> com.google.common.collect.ImmutableList<T>	RDFAtomPredicate.updateObject(com.google.common.collect.ImmutableList<T> originalArguments, T newObject)
<T extends ImmutableTerm> com.google.common.collect.ImmutableList<T>	RDFAtomPredicate.updateSPO(com.google.common.collect.ImmutableList<T> originalArguments, T newSubject, T newProperty, T newObject)
default <T extends ImmutableTerm> com.google.common.collect.ImmutableList<T>	RDFAtomPredicate.updateSubject(com.google.common.collect.ImmutableList<T> originalArguments, T newSubject)

Method parameters in it.unibz.inf.ontop.model.atom with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
Optional<org.apache.commons.rdf.api.IRI>	RDFAtomPredicate.getClassIRI(com.google.common.collect.ImmutableList<? extends ImmutableTerm> atomArguments)
Optional<org.apache.commons.rdf.api.IRI>	RDFAtomPredicate.getGraphIRI(com.google.common.collect.ImmutableList<? extends ImmutableTerm> atomArguments)
Optional<org.apache.commons.rdf.api.IRI>	RDFAtomPredicate.getPredicateIRI(com.google.common.collect.ImmutableList<? extends ImmutableTerm> atomArguments) Returns a class or (non rdf:type) property IRI if available
Optional<org.apache.commons.rdf.api.IRI>	RDFAtomPredicate.getPropertyIRI(com.google.common.collect.ImmutableList<? extends ImmutableTerm> atomArguments)

Uses of ImmutableTerm in it.unibz.inf.ontop.model.atom.impl

Methods in it.unibz.inf.ontop.model.atom.impl with type parameters of type ImmutableTerm

Modifier and Type	Method and Description
<T extends ImmutableTerm> Optional<T>	TriplePredicateImpl.getGraph(com.google.common.collect.ImmutableList<T> atomArguments)
<T extends ImmutableTerm> Optional<T>	QuadPredicateImpl.getGraph(com.google.common.collect.ImmutableList<T> atomArguments)
<T extends ImmutableTerm> T	RDFAtomPredicateImpl.getObject(com.google.common.collect.ImmutableList<T> atomArguments)
<T extends ImmutableTerm> T	RDFAtomPredicateImpl.getProperty(com.google.common.collect.ImmutableList<T> atomArguments)
<T extends ImmutableTerm> T	RDFAtomPredicateImpl.getSubject(com.google.common.collect.ImmutableList<T> atomArguments)
<T extends ImmutableTerm> com.google.common.collect.ImmutableList<T>	TriplePredicateImpl.updateSPO(com.google.common.collect.ImmutableList<T> originalArguments, T newSubject, T newProperty, T newObject)
<T extends ImmutableTerm> com.google.common.collect.ImmutableList<T>	QuadPredicateImpl.updateSPO(com.google.common.collect.ImmutableList<T> originalArguments, T newSubject, T newProperty, T newObject)

Methods in it.unibz.inf.ontop.model.atom.impl with parameters of type ImmutableTerm

Modifier and Type	Method and Description
protected Optional<org.apache.commons.rdf.api.IRI>	RDFAtomPredicateImpl.extractIRI(ImmutableTerm term)

Method parameters in it.unibz.inf.ontop.model.atom.impl with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
Optional<org.apache.commons.rdf.api.IRI>	RDFAtomPredicateImpl.getClassIRI(com.google.common.collect.ImmutableList<? extends ImmutableTerm> atomArguments)
Optional<org.apache.commons.rdf.api.IRI>	TriplePredicateImpl.getGraphIRI(com.google.common.collect.ImmutableList<? extends ImmutableTerm> atomArguments)
Optional<org.apache.commons.rdf.api.IRI>	QuadPredicateImpl.getGraphIRI(com.google.common.collect.ImmutableList<? extends ImmutableTerm> atomArguments)
Optional<org.apache.commons.rdf.api.IRI>	RDFAtomPredicateImpl.getPredicateIRI(com.google.common.collect.ImmutableList<? extends ImmutableTerm> atomArguments)
Optional<org.apache.commons.rdf.api.IRI>	RDFAtomPredicateImpl.getPropertyIRI(com.google.common.collect.ImmutableList<? extends ImmutableTerm> atomArguments)

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

Subinterfaces of ImmutableTerm in it.unibz.inf.ontop.model.term

Modifier and Type	Interface and Description
interface	BNode
interface	Constant This class defines a type of ImmutableTerm in which it has a constant value.
interface	DBConstant
interface	GroundFunctionalTerm Immutable ground functional term.
interface	GroundTerm Term that is not a variable nor contains any variable.
interface	ImmutableExpression
interface	ImmutableFunctionalTerm Functional term that is declared as immutable.
interface	IRIConstant Provides an interface for storing the IRI constant.
interface	NonConstantTerm
interface	NonFunctionalTerm "Class" grouping variables and constants.
interface	NonGroundFunctionalTerm Immutable functional term is not a ground term
interface	NonGroundTerm Immutable terms that are NOT ground terms.
interface	NonNullConstant
interface	NonVariableTerm Term that is not a variable (i.e.
interface	ObjectConstant
interface	RDFConstant
interface	RDFLiteralConstant Provides an interface for storing the value constant.
interface	RDFTermTypeConstant When the RDF term types are "reified" as constants Should disappear from the query before its translation into a native query.
interface	Variable This class defines a type of ImmutableTerm in which it expresses a quantity that during a calculation is assumed to vary or be capable of varying in value.
interface	VariableOrGroundTerm Either a variable or a ground term.

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

Modifier and Type	Method and Description
<T extends ImmutableTerm> ProtoSubstitution<T>	TermFactory.getProtoSubstitution(com.google.common.collect.ImmutableMap<Variable,T> map) Minimalist substitution with minimal dependencies.

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

Modifier and Type	Method and Description
ImmutableTerm	ImmutableFunctionalTerm.FunctionalTermDecomposition.getLiftableTerm() Part of the functional that is liftable (e.g.
ImmutableTerm	FunctionalTermSimplification.getSimplifiedTerm()
ImmutableTerm	ImmutableExpression.Evaluation.getTerm()
ImmutableTerm	ImmutableFunctionalTerm.getTerm(int index)
ImmutableTerm	ImmutableTerm.simplify() When no variableNullability is available
ImmutableTerm	ImmutableTerm.simplify(VariableNullability variableNullability)
ImmutableTerm	ImmutableExpression.simplify2VL(VariableNullability variableNullability)

Methods in it.unibz.inf.ontop.model.term that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<? extends ImmutableTerm>	ImmutableFunctionalTerm.getTerms()

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

Modifier and Type	Method and Description
static FunctionalTermSimplification	FunctionalTermSimplification.create(ImmutableTerm simplifiedTerm, com.google.common.collect.ImmutableSet<Variable> simplifiableVariables)
IncrementalEvaluation	ImmutableTerm.evaluateStrictEq(ImmutableTerm otherTerm, VariableNullability variableNullability)
ImmutableExpression	TermFactory.getAreCompatibleRDFStringExpression(ImmutableTerm typeTerm1, ImmutableTerm typeTerm2) See https://www.w3.org/TR/sparql11-query/#func-arg-compatibility
ImmutableFunctionalTerm	TermFactory.getBinaryNumericLexicalFunctionalTerm(String dbNumericOperationName, ImmutableTerm lexicalTerm1, ImmutableTerm lexicalTerm2, ImmutableTerm rdfTypeTerm) TODO: find a better name
ImmutableFunctionalTerm	TermFactory.getCommonPropagatedOrSubstitutedNumericType(ImmutableTerm rdfTypeTerm1, ImmutableTerm rdfTypeTerm2)
ImmutableFunctionalTerm	TermFactory.getConversion2RDFLexical(DBTermType inputType, ImmutableTerm term, RDFTermType rdfTermType) May "normalize"
ImmutableFunctionalTerm	TermFactory.getConversion2RDFLexical(ImmutableTerm term, RDFTermType rdfTermType)
ImmutableFunctionalTerm	TermFactory.getConversionFromRDFLexical2DB(DBTermType targetDBType, ImmutableTerm dbTerm, RDFTermType rdfType) May "denormalize"
ImmutableFunctionalTerm	TermFactory.getConversionFromRDFLexical2DB(ImmutableTerm dbTerm, RDFTermType rdfType)
ImmutableFunctionalTerm	TermFactory.getDBAvg(ImmutableTerm subTerm, DBTermType dbType, boolean isDistinct)
ImmutableFunctionalTerm	TermFactory.getDBBinaryNumericFunctionalTerm(String dbNumericOperationName, DBTermType dbNumericType, ImmutableTerm dbTerm1, ImmutableTerm dbTerm2)
ImmutableExpression	TermFactory.getDBBooleanInequality(InequalityLabel inequalityLabel, ImmutableTerm dbBooleanTerm1, ImmutableTerm dbBooleanTerm2)
ImmutableFunctionalTerm	TermFactory.getDBCase(Stream<? extends Map.Entry<ImmutableExpression,? extends ImmutableTerm>> whenPairs, ImmutableTerm defaultTerm, boolean doOrderingMatter) IF THEN, ELSE IF ..., ELSE whenPairs must not be empty doOrderingMatter: if false, the when pairs can be re-ordered
ImmutableFunctionalTerm	TermFactory.getDBCastFunctionalTerm(DBTermType inputType, DBTermType targetType, ImmutableTerm term)
ImmutableFunctionalTerm	TermFactory.getDBCastFunctionalTerm(DBTermType targetType, ImmutableTerm term)
ImmutableFunctionalTerm	TermFactory.getDBCharLength(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactory.getDBCoalesce(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... terms)
ImmutableFunctionalTerm	TermFactory.getDBCoalesce(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... terms)
ImmutableFunctionalTerm	TermFactory.getDBCount(ImmutableTerm subTerm, boolean isDistinct)
ImmutableExpression	TermFactory.getDBDateInequality(InequalityLabel inequalityLabel, ImmutableTerm dbDateTerm1, ImmutableTerm dbDateTerm2)
ImmutableExpression	TermFactory.getDBDatetimeInequality(InequalityLabel inequalityLabel, ImmutableTerm dbDatetimeTerm1, ImmutableTerm dbDatetimeTerm2)
ImmutableFunctionalTerm	TermFactory.getDBDayFromDatetime(ImmutableTerm dbDatetimeTerm)
ImmutableExpression	TermFactory.getDBDefaultInequality(InequalityLabel inequalityLabel, ImmutableTerm dbTerm1, ImmutableTerm dbTerm2)
ImmutableFunctionalTerm	TermFactory.getDBGroupConcat(ImmutableTerm subTerm, String separator, boolean isDistinct)
ImmutableFunctionalTerm	TermFactory.getDBHours(ImmutableTerm dbDatetimeTerm)
ImmutableFunctionalTerm	TermFactory.getDBIntIndex(ImmutableTerm idTerm, com.google.common.collect.ImmutableList<ImmutableTerm> possibleValues)
ImmutableFunctionalTerm	TermFactory.getDBIntIndex(ImmutableTerm idTerm, ImmutableTerm... possibleValues) The first sub-term encodes the index of the term to return.
ImmutableFunctionalTerm	TermFactory.getDBIntIndex(ImmutableTerm idTerm, ImmutableTerm... possibleValues) The first sub-term encodes the index of the term to return.
ImmutableExpression	TermFactory.getDBIsNotNull(ImmutableTerm immutableTerm)
ImmutableExpression	TermFactory.getDBIsNull(ImmutableTerm immutableTerm)
ImmutableExpression	TermFactory.getDBIsStringEmpty(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactory.getDBLower(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactory.getDBMax(ImmutableTerm subTerm, DBTermType dbType)
ImmutableFunctionalTerm	TermFactory.getDBMd5(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactory.getDBMin(ImmutableTerm subTerm, DBTermType dbType)
ImmutableFunctionalTerm	TermFactory.getDBMinutes(ImmutableTerm dbDatetimeTerm)
ImmutableFunctionalTerm	TermFactory.getDBMonthFromDatetime(ImmutableTerm dbDatetimeTerm)
ImmutableExpression	TermFactory.getDBNonStrictDateEquality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2)
ImmutableExpression	TermFactory.getDBNonStrictDatetimeEquality(ImmutableTerm dbDatetimeTerm1, ImmutableTerm dbDatetimeTerm2)
ImmutableExpression	TermFactory.getDBNonStrictDefaultEquality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2) Cannot be simplified --> has to be evaluated by the DB engine Only suitable for DB terms
ImmutableExpression	TermFactory.getDBNonStrictNumericEquality(ImmutableTerm dbNumericTerm1, ImmutableTerm dbNumericTerm2)
ImmutableExpression	TermFactory.getDBNonStrictStringEquality(ImmutableTerm dbStringTerm1, ImmutableTerm dbStringTerm2)
ImmutableExpression	TermFactory.getDBNumericInequality(InequalityLabel inequalityLabel, ImmutableTerm dbNumericTerm1, ImmutableTerm dbNumericTerm2)
ImmutableFunctionalTerm	TermFactory.getDBRegexpReplace(ImmutableTerm arg, ImmutableTerm pattern, ImmutableTerm replacement)
ImmutableFunctionalTerm	TermFactory.getDBRegexpReplace(ImmutableTerm arg, ImmutableTerm pattern, ImmutableTerm replacement, ImmutableTerm flags)
ImmutableFunctionalTerm	TermFactory.getDBReplace(ImmutableTerm arg, ImmutableTerm pattern, ImmutableTerm replacement)
ImmutableFunctionalTerm	TermFactory.getDBRight(ImmutableTerm stringTerm, ImmutableTerm lengthTerm)
ImmutableFunctionalTerm	TermFactory.getDBSeconds(ImmutableTerm dbDatetimeTerm)
ImmutableFunctionalTerm	TermFactory.getDBSha1(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactory.getDBSha256(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactory.getDBSha512(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactory.getDBStrAfter(ImmutableTerm arg1, ImmutableTerm arg2)
ImmutableFunctionalTerm	TermFactory.getDBStrBefore(ImmutableTerm arg1, ImmutableTerm arg2)
ImmutableExpression	TermFactory.getDBStringInequality(InequalityLabel inequalityLabel, ImmutableTerm dbStringTerm1, ImmutableTerm dbStringTerm2)
ImmutableFunctionalTerm	TermFactory.getDBSubString2(ImmutableTerm stringTerm, ImmutableTerm from)
ImmutableFunctionalTerm	TermFactory.getDBSubString3(ImmutableTerm stringTerm, ImmutableTerm from, ImmutableTerm to)
ImmutableFunctionalTerm	TermFactory.getDBSum(ImmutableTerm subTerm, DBTermType dbType, boolean isDistinct)
ImmutableFunctionalTerm	TermFactory.getDBTz(ImmutableTerm dbDatetimeTerm)
ImmutableFunctionalTerm	TermFactory.getDBUpper(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactory.getDBYearFromDatetime(ImmutableTerm dbDatetimeTerm)
ImmutableFunctionalTerm.FunctionalTermDecomposition	TermFactory.getFunctionalTermDecomposition(ImmutableTerm liftableTerm)
ImmutableFunctionalTerm.FunctionalTermDecomposition	TermFactory.getFunctionalTermDecomposition(ImmutableTerm liftableTerm, com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm> subTermSubstitutionMap)
ImmutableFunctionalTerm	TermFactory.getIfElseNull(ImmutableExpression condition, ImmutableTerm term)
ImmutableFunctionalTerm	TermFactory.getIfThenElse(ImmutableExpression condition, ImmutableTerm thenTerm, ImmutableTerm elseTerm)
ImmutableExpression	TermFactory.getImmutableExpression(BooleanFunctionSymbol functor, ImmutableTerm... arguments)
ImmutableFunctionalTerm	TermFactory.getImmutableFunctionalTerm(FunctionSymbol functor, ImmutableTerm... terms)
ImmutableExpression	TermFactory.getIsAExpression(ImmutableTerm termTypeTerm, RDFTermType baseType) Compares a TermType term to a base type
ImmutableFunctionalTerm	TermFactory.getLangTypeFunctionalTerm(ImmutableTerm rdfTypeTerm) Do NOT confuse it with the LANG SPARQL function
ImmutableExpression	TermFactory.getLexicalEffectiveBooleanValue(ImmutableTerm lexicalTerm, ImmutableTerm rdfDatatypeTerm)
ImmutableExpression	TermFactory.getLexicalInequality(InequalityLabel inequalityLabel, ImmutableTerm lexicalTerm1, ImmutableTerm typeTerm1, ImmutableTerm lexicalTerm2, ImmutableTerm typeTerm2)
ImmutableExpression	TermFactory.getLexicalLangMatches(ImmutableTerm langTagTerm, ImmutableTerm langRangeTerm) Do NOT confuse it with the langMatches SPARQL function
ImmutableExpression	TermFactory.getLexicalNonStrictEquality(ImmutableTerm lexicalTerm1, ImmutableTerm typeTerm1, ImmutableTerm lexicalTerm2, ImmutableTerm typeTerm2)
NonGroundFunctionalTerm	TermFactory.getNonGroundFunctionalTerm(FunctionSymbol functor, ImmutableTerm... terms)
ImmutableExpression	TermFactory.getNotYetTypedEquality(ImmutableTerm t1, ImmutableTerm t2) To be used when parsing the mapping and when an equality is found.
ImmutableFunctionalTerm	TermFactory.getR2RMLIRISafeEncodeFunctionalTerm(ImmutableTerm term)
ImmutableExpression	TermFactory.getRDF2DBBooleanFunctionalTerm(ImmutableTerm xsdBooleanTerm)
ImmutableFunctionalTerm	TermFactory.getRDFDatatypeStringFunctionalTerm(ImmutableTerm rdfTypeTerm)
ImmutableFunctionalTerm	TermFactory.getRDFFunctionalTerm(ImmutableTerm lexicalTerm, ImmutableTerm typeTerm)
ImmutableFunctionalTerm	TermFactory.getRDFLiteralFunctionalTerm(ImmutableTerm lexicalTerm, org.apache.commons.rdf.api.IRI datatypeIRI)
ImmutableFunctionalTerm	TermFactory.getRDFLiteralFunctionalTerm(ImmutableTerm lexicalTerm, RDFDatatype type)
ImmutableFunctionalTerm	TermFactory.getRDFLiteralFunctionalTerm(ImmutableTerm lexicalTerm, String language)
ImmutableFunctionalTerm	TermFactory.getRDFTermTypeFunctionalTerm(ImmutableTerm term, TypeConstantDictionary dictionary, com.google.common.collect.ImmutableSet<RDFTermTypeConstant> possibleConstants, boolean isSimplifiable)
ImmutableFunctionalTerm	TermFactory.getSPARQLEffectiveBooleanValue(ImmutableTerm rdfTerm) Returns an XSD.BOOLEAN
ImmutableFunctionalTerm	TermFactory.getSPARQLNonStrictEquality(ImmutableTerm rdfTerm1, ImmutableTerm rdfTerm2) Using the SPARQL "=" operator Returns an XSD.BOOLEAN
ImmutableExpression	TermFactory.getStrictEquality(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... otherTerms)
ImmutableExpression	TermFactory.getStrictEquality(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... otherTerms)
ImmutableExpression	TermFactory.getStrictNEquality(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... otherTerms)
ImmutableExpression	TermFactory.getStrictNEquality(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... otherTerms)
ImmutableFunctionalTerm	TermFactory.getUnaryLatelyTypedFunctionalTerm(ImmutableTerm lexicalTerm, ImmutableTerm inputRDFTypeTerm, DBTermType targetType, Function<DBTermType,DBFunctionSymbol> dbFunctionSymbolFct)
ImmutableFunctionalTerm	TermFactory.getUnaryLexicalFunctionalTerm(ImmutableTerm lexicalTerm, ImmutableTerm rdfDatatypeTerm, Function<DBTermType,DBFunctionSymbol> dbFunctionSymbolFct)

Method parameters in it.unibz.inf.ontop.model.term with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
ImmutableFunctionalTerm	TermFactory.getBnodeFunctionalTerm(String bnodeTemplate, com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
ImmutableFunctionalTerm	TermFactory.getCommonDenominatorFunctionalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms)
ImmutableFunctionalTerm	TermFactory.getDBCase(Stream<? extends Map.Entry<ImmutableExpression,? extends ImmutableTerm>> whenPairs, ImmutableTerm defaultTerm, boolean doOrderingMatter) IF THEN, ELSE IF ..., ELSE whenPairs must not be empty doOrderingMatter: if false, the when pairs can be re-ordered
ImmutableFunctionalTerm	TermFactory.getDBCaseElseNull(Stream<? extends Map.Entry<ImmutableExpression,? extends ImmutableTerm>> whenPairs, boolean doOrderingMatter) IF THEN, ELSE IF ..., ELSE NULL whenPairs must not be empty
ImmutableFunctionalTerm	TermFactory.getDBCoalesce(com.google.common.collect.ImmutableList<ImmutableTerm> terms)
ImmutableExpression	TermFactory.getDBContains(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableExpression	TermFactory.getDBEndsWith(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableFunctionalTerm	TermFactory.getDBIntIndex(ImmutableTerm idTerm, com.google.common.collect.ImmutableList<ImmutableTerm> possibleValues)
ImmutableExpression	TermFactory.getDBRegexpMatches(com.google.common.collect.ImmutableList<ImmutableTerm> terms)
ImmutableExpression	TermFactory.getDBStartsWith(com.google.common.collect.ImmutableList<ImmutableTerm> terms)
ImmutableFunctionalTerm	TermFactory.getFreshBnodeFunctionalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> terms) NB: a fresh Bnode template is created
ImmutableExpression	TermFactory.getImmutableExpression(BooleanFunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
ImmutableFunctionalTerm	TermFactory.getImmutableFunctionalTerm(FunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableFunctionalTerm	TermFactory.getIRIFunctionalTerm(String iriTemplate, com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) At least one argument for the IRI functional term with an IRI template is required
NonGroundFunctionalTerm	TermFactory.getNonGroundFunctionalTerm(FunctionSymbol functor, com.google.common.collect.ImmutableList<ImmutableTerm> terms)
ImmutableFunctionalTerm	TermFactory.getNullRejectingDBConcatFunctionalTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) At least two terms are expected
ImmutableExpression	TermFactory.getStrictEquality(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) terms must have at least two elements
ImmutableExpression	TermFactory.getStrictEquality(com.google.common.collect.ImmutableSet<ImmutableTerm> terms) terms must have at least two distinct elements
ImmutableExpression	TermFactory.getStrictNEquality(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) terms must have at least two elements Logically equivalent to NOT(STRICT_EQx(...))
ImmutableExpression	TermFactory.getStrictNEquality(com.google.common.collect.ImmutableSet<ImmutableTerm> terms) terms must have at least two elements Logically equivalent to NOT(STRICT_EQx(...))

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

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

Modifier and Type	Method and Description
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(...).

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

Modifier and Type	Method and Description
IncrementalEvaluation	FunctionSymbol.evaluateStrictEq(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, ImmutableTerm otherTerm, TermFactory termFactory, VariableNullability variableNullability)

Method parameters in it.unibz.inf.ontop.model.term.functionsymbol with type arguments of type ImmutableTerm

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)
boolean	FunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) 1.
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)
IncrementalEvaluation	FunctionSymbol.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
IncrementalEvaluation	FunctionSymbol.evaluateStrictEq(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, ImmutableTerm otherTerm, TermFactory termFactory, VariableNullability variableNullability)
Optional<TermTypeInference>	FunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
default ImmutableFunctionalTerm	RDFTermTypeFunctionSymbol.lift(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<RDFTermTypeConstant,? extends ImmutableTerm> caseTermFct, TermFactory termFactory, boolean isBoolean)
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.
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.
Stream<Variable>	FunctionSymbol.proposeProvenanceVariables(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Returns some variables are required to non-null for the functional term to be non-null.
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 ImmutableTerm in it.unibz.inf.ontop.model.term.functionsymbol.db

Methods in it.unibz.inf.ontop.model.term.functionsymbol.db that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
Stream<ImmutableTerm>	DBIfThenFunctionSymbol.extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)

Method parameters in it.unibz.inf.ontop.model.term.functionsymbol.db with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
Stream<ImmutableTerm>	DBIfThenFunctionSymbol.extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
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.
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

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

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

Modifier and Type	Method and Description
protected ImmutableTerm	AbstractDBTypeConversionFunctionSymbolImpl.buildFromVariable(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) Default implementation
protected ImmutableTerm	DefaultSimpleDBCastFunctionSymbol.buildFromVariable(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	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	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	AbstractDBIsNullOrNotFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractDBAggregationFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractDBIsStringEmptyFunctionSymbol.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	AbstractDBTypeConversionFunctionSymbolImpl.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	DefaultDBNonStrictStringEqOperator.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	DefaultDBNumericInequalityOperator.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	DefaultDBNotFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractOrNullFunctionSymbol.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	DefaultDBNonStrictNumericEqOperator.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	NullIfDBFunctionSymbolImpl.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	SimplifiableTypedNullFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultBooleanDenormFunctionSymbol.buildTermFromFunctionalTerm(ImmutableFunctionalTerm subTerm, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractDBTypeConversionFunctionSymbolImpl.buildTermFromFunctionalTerm(ImmutableFunctionalTerm subTerm, TermFactory termFactory, VariableNullability variableNullability) Default implementation
protected ImmutableTerm	AbstractTimestampISODenormFunctionSymbol.buildTermFromFunctionalTerm(ImmutableFunctionalTerm subTerm, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultSimpleDBCastFunctionSymbol.buildTermFromFunctionalTerm(ImmutableFunctionalTerm subTerm, TermFactory termFactory, VariableNullability variableNullability) Tries to simplify nested casts
static ImmutableTerm	DefaultDBOrFunctionSymbol.computeNewDisjunction(com.google.common.collect.ImmutableList<ImmutableTerm> evaluatedTerms, TermFactory termFactory) Temporarily public TODO: hide it again
protected abstract ImmutableTerm	AbstractDBTypeConversionFunctionSymbolImpl.convertDBConstant(DBConstant constant, TermFactory termFactory)
protected ImmutableTerm	AbstractTimestampISODenormFunctionSymbol.convertDBConstant(DBConstant constant, TermFactory termFactory)
protected ImmutableTerm	DefaultNumberNormAsBooleanFunctionSymbol.convertDBConstant(DBConstant constant, TermFactory termFactory)
protected ImmutableTerm	DefaultTimeTzNormalizationFunctionSymbol.convertDBConstant(DBConstant constant, TermFactory termFactory) No optimization
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)
protected ImmutableTerm	AbstractDBIfThenElseFunctionSymbol.extractDefaultValue(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
static ImmutableTerm	Nullifiers.nullify(ImmutableTerm term, ImmutableTerm termToReplaceByNull, TermFactory termFactory) Recursive
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	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	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	BooleanDBIfElseNullFunctionSymbolImpl.simplify2VL(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	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.
ImmutableTerm	AbstractOrNullFunctionSymbol.simplify2VL(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) 2VL: the NULL is considered "equivalent" to FALSE
protected ImmutableTerm	AbstractDBIfThenFunctionSymbol.simplifyValue(ImmutableTerm immutableTerm, VariableNullability variableNullability, TermFactory termFactory) Can be overridden

Methods in it.unibz.inf.ontop.model.term.functionsymbol.db.impl that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
protected Map.Entry<ImmutableTerm,Stream<ImmutableTerm>>	NullIfDBFunctionSymbolImpl.decomposeNullIfHierarchy(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Decomposes hierarchies like NULLIF(NULLIF(x,1),0) into pairs like (x, [0,1])
protected Map.Entry<ImmutableTerm,Stream<ImmutableTerm>>	NullIfDBFunctionSymbolImpl.decomposeNullIfHierarchy(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Decomposes hierarchies like NULLIF(NULLIF(x,1),0) into pairs like (x, [0,1])
Stream<ImmutableTerm>	AbstractDBIfThenFunctionSymbol.extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
protected abstract Stream<? extends ImmutableTerm>	AbstractArgDependentTypedDBFunctionSymbol.extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
protected Stream<? extends ImmutableTerm>	DBIntIndexFunctionSymbolImpl.extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
protected Stream<? extends ImmutableTerm>	DefaultDBCoalesceFunctionSymbol.extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
protected Stream<? extends ImmutableTerm>	NullIfDBFunctionSymbolImpl.extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
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)
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 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>	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
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

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

Modifier and Type	Method and Description
protected ImmutableFunctionalTerm	AbstractDBIfThenFunctionSymbol.buildCase(Stream<Map.Entry<ImmutableExpression,? extends ImmutableTerm>> newWhenPairs, ImmutableTerm defaultValue, TermFactory termFactory) Can be overridden
protected ImmutableFunctionalTerm	DBBooleanCaseFunctionSymbolImpl.buildCase(Stream<Map.Entry<ImmutableExpression,? extends ImmutableTerm>> newWhenPairs, ImmutableTerm defaultValue, TermFactory termFactory)
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
IncrementalEvaluation	DBIntIndexFunctionSymbolImpl.evaluateStrictEq(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, ImmutableTerm otherTerm, TermFactory termFactory, VariableNullability variableNullability)
static ImmutableTerm	Nullifiers.nullify(ImmutableTerm term, ImmutableTerm termToReplaceByNull, TermFactory termFactory) Recursive
protected ImmutableTerm	BooleanDBIfElseNullFunctionSymbolImpl.simplify(ImmutableExpression newCondition, ImmutableTerm newThenValue, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DefaultDBIfElseNullFunctionSymbol.simplify(ImmutableExpression newCondition, ImmutableTerm newThenValue, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractDBIfThenFunctionSymbol.simplifyValue(ImmutableTerm immutableTerm, VariableNullability variableNullability, TermFactory termFactory) Can be overridden
protected ImmutableExpression	DBBooleanCaseFunctionSymbolImpl.simplifyValue(ImmutableTerm immutableTerm, VariableNullability variableNullability, TermFactory termFactory)
protected ImmutableFunctionalTerm	DefaultBooleanDenormFunctionSymbol.transformIntoDBCase(ImmutableTerm subTerm, TermFactory termFactory)
protected ImmutableFunctionalTerm	DefaultNumberNormAsBooleanFunctionSymbol.transformIntoDBCase(ImmutableTerm subTerm, TermFactory termFactory)
protected ImmutableFunctionalTerm	DefaultBooleanNormFunctionSymbol.transformIntoDBCase(ImmutableTerm subTerm, TermFactory termFactory)

Method parameters in it.unibz.inf.ontop.model.term.functionsymbol.db.impl with type arguments of type ImmutableTerm

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	AbstractDBIfThenFunctionSymbol.buildCase(Stream<Map.Entry<ImmutableExpression,? extends ImmutableTerm>> newWhenPairs, ImmutableTerm defaultValue, TermFactory termFactory) Can be overridden
protected ImmutableFunctionalTerm	DBBooleanCaseFunctionSymbolImpl.buildCase(Stream<Map.Entry<ImmutableExpression,? extends ImmutableTerm>> newWhenPairs, ImmutableTerm defaultValue, TermFactory termFactory)
protected ImmutableTerm	AbstractDBTypeConversionFunctionSymbolImpl.buildFromVariable(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability) Default implementation
protected ImmutableTerm	DefaultSimpleDBCastFunctionSymbol.buildFromVariable(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableExpression	DefaultDBBooleanInequalityOperator.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	DefaultDBDateInequalityOperator.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	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 ImmutableTerm	ObjectStringTemplateFunctionSymbolImpl.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	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	AbstractDBIsNullOrNotFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractDBAggregationFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractDBIsStringEmptyFunctionSymbol.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	AbstractDBTypeConversionFunctionSymbolImpl.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	DefaultDBNonStrictStringEqOperator.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	DefaultDBNumericInequalityOperator.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	DefaultDBNotFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	AbstractOrNullFunctionSymbol.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	DefaultDBNonStrictNumericEqOperator.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	NullIfDBFunctionSymbolImpl.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	SimplifiableTypedNullFunctionSymbol.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
boolean	ObjectStringTemplateFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	TemporaryDBTypeConversionToStringFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	NonSimplifiableTypedNullFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DBFunctionSymbolWithSerializerImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBNonStrictDefaultEqOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBBooleanInequalityOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) TODO: allow it
boolean	AbstractDBIfThenFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Conservative: can only be post-processed when all sub-functional terms (at different levels of depth) can be post-processed.
boolean	DefaultBooleanDenormFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	NonPostProcessedSimpleDBCastFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBAndFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	SimpleTypedDBFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBNonStrictDateEqOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) TODO: allow it
boolean	DefaultDBDateInequalityOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) TODO: allow it
boolean	DefaultDBStrStartsWithFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) TODO: allows it
boolean	AbstractDBIsNullOrNotFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractSimpleMultitypedDBFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultTypedDBMathBinaryOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) TODO: could be allowed in the future
boolean	NullRejectingDBConcatFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) TODO: allow post-processing
boolean	DBHashFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) The class would have to be made abstract for supporting post-processing
boolean	DefaultDBDefaultInequalityOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractDBIsStringEmptyFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBOrFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultUntypedDBFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBNonStrictDatetimeEqOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) TODO: allow it
boolean	DefaultDBStringInequalityOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) TODO: allow it
boolean	AbstractDBStrictEqNeqFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBIfElseNullFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Only looks if the second argument is guaranteed to be post-processed or not since the first argument (the condition expression) will always be evaluated.
boolean	DBStrBeforeFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Could be implemented
boolean	DefaultDBNonStrictStringEqOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DBContainsFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	MockupR2RMLSafeIRIEncodeFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBNumericInequalityOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	NullToleratingDBConcatFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultUntypedDBMathBinaryOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractTimestampISONormFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBNotFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DBLikeFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) TODO: support post-processing
boolean	AbstractOrNullFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractTimestampISODenormFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBIsTrueFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBNonStrictNumericEqOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DBIntIndexFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultNumberNormAsBooleanFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBDatetimeInequalityOperator.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) TODO: allow it
boolean	DefaultBooleanNormFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractAggregationFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultSimpleDBCastFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultDBCoalesceFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractDBIfThenElseFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Only looks if the second and third argument are guaranteed to be post-processed or not since the first argument (the condition expression) will always be evaluated.
boolean	DefaultDBStrEndsWithFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) TODO: allows it
boolean	NullIfDBFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Currently cannot be post-processed as we are not sure which kind of equality is considered by the DB engine TODO: experiment
boolean	DefaultNonDeterministicNullaryFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DBStrAfterFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Could be implemented
boolean	SimplifiableTypedNullFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DefaultTimeTzNormalizationFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
static ImmutableTerm	DefaultDBOrFunctionSymbol.computeNewDisjunction(com.google.common.collect.ImmutableList<ImmutableTerm> evaluatedTerms, TermFactory termFactory) Temporarily public TODO: hide it again
protected Map.Entry<ImmutableTerm,Stream<ImmutableTerm>>	NullIfDBFunctionSymbolImpl.decomposeNullIfHierarchy(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Decomposes hierarchies like NULLIF(NULLIF(x,1),0) into pairs like (x, [0,1])
IncrementalEvaluation	AbstractDBIsNullOrNotFunctionSymbol.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
IncrementalEvaluation	AbstractDBStrictEqNeqFunctionSymbol.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	DefaultDBCoalesceFunctionSymbol.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
IncrementalEvaluation	NullIfDBFunctionSymbolImpl.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	ObjectStringTemplateFunctionSymbolImpl.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)
protected IncrementalEvaluation	DefaultNumberNormAsBooleanFunctionSymbol.evaluateStrictEqWithNonNullConstant(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant 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	AbstractR2RMLSafeIRIEncodeFunctionSymbol.evaluateStrictEqWithNonNullConstant(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant otherTerm, TermFactory termFactory, VariableNullability variableNullability)
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)
protected ImmutableTerm	AbstractDBIfThenElseFunctionSymbol.extractDefaultValue(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
Stream<ImmutableTerm>	AbstractDBIfThenFunctionSymbol.extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
protected abstract Stream<? extends ImmutableTerm>	AbstractArgDependentTypedDBFunctionSymbol.extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
protected Stream<? extends ImmutableTerm>	DBIntIndexFunctionSymbolImpl.extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
protected Stream<? extends ImmutableTerm>	DefaultDBCoalesceFunctionSymbol.extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
protected Stream<? extends ImmutableTerm>	NullIfDBFunctionSymbolImpl.extractPossibleValues(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
protected Stream<ImmutableFunctionalTerm>	AbstractDBIfThenFunctionSymbol.extractSubFunctionalTerms(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms) Recursive
String	AbstractDBStrBeforeOrAfterFunctionSymbol.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	ObjectStringTemplateFunctionSymbolImpl.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	TemporaryDBTypeConversionToStringFunctionSymbolImpl.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	NonSimplifiableTypedNullFunctionSymbol.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	DBFunctionSymbolWithSerializerImpl.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	AbstractDBInequalityOperator.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Can be overridden
String	AbstractDBInequalityOperator.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Can be overridden
String	DefaultBooleanDenormFunctionSymbol.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	StandardNotationDBBooleanFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	StandardNotationDBBooleanFunctionSymbolImpl.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	DefaultDBAndFunctionSymbol.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	SimpleTypedDBFunctionSymbolImpl.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	DefaultDBStrictNEqFunctionSymbol.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	DefaultDBStrStartsWithFunctionSymbol.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	FalseOrNullFunctionSymbolImpl.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	TrueOrNullFunctionSymbolImpl.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	AbstractSimpleMultitypedDBFunctionSymbol.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	DefaultTypedDBMathBinaryOperator.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)
String	AbstractDBAggregationFunctionSymbol.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	DefaultDBOrFunctionSymbol.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	DefaultUntypedDBFunctionSymbol.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	DefaultDBStrictEqFunctionSymbol.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	DefaultDBIfElseNullFunctionSymbol.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	DefaultDBCaseFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DBContainsFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DBContainsFunctionSymbolImpl.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	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	DefaultUntypedDBMathBinaryOperator.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	AbstractTimestampISONormFunctionSymbol.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	DefaultDBNotFunctionSymbol.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	DBLikeFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DenodoDBStrStartsWithFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DenodoDBStrStartsWithFunctionSymbol.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	AbstractTimestampISODenormFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultDBIsTrueFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultDBIsTrueFunctionSymbol.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	AbstractDBNonStrictEqOperator.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Can be overridden
String	MockupDBIfElseNullFunctionSymbol.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	SQLServerDBIsTrueFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	SQLServerDBIsTrueFunctionSymbolImpl.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	DBIntIndexFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Encodes it as a SQL case
String	DefaultNumberNormAsBooleanFunctionSymbol.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	WrappedDBBooleanCaseFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Replaces the then expressions by cases.
String	WrappedDBBooleanCaseFunctionSymbolImpl.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory) Replaces the then expressions by cases.
String	DefaultBooleanNormFunctionSymbol.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	AbstractDBConcatFunctionSymbol.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	DefaultSimpleDBCastFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
String	DefaultSimpleDBCastFunctionSymbol.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	DefaultDBCoalesceFunctionSymbol.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	DefaultDBStrEndsWithFunctionSymbol.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	NullIfDBFunctionSymbolImpl.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	DefaultNonDeterministicNullaryFunctionSymbol.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	MockupDBIsNullOrNotFunctionSymbolImpl.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	SimplifiableTypedNullFunctionSymbol.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	DefaultTimeTzNormalizationFunctionSymbol.getNativeDBString(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
Optional<TermTypeInference>	ObjectStringTemplateFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractArgDependentTypedDBFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Is supposed to be strongly typed: does not compare the types of the possible values because they are supposed to be the sames.
Optional<TermTypeInference>	DefaultTypedDBMathBinaryOperator.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	DefaultUntypedDBFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractTypedDBFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	DefaultUntypedDBMathBinaryOperator.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractAggregationFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableExpression	DefaultDBIfElseNullFunctionSymbol.liftUnaryBooleanFunctionSymbol(com.google.common.collect.ImmutableList<? extends ImmutableTerm> ifElseNullTerms, BooleanFunctionSymbol unaryBooleanFunctionSymbol, TermFactory termFactory)
ImmutableExpression	AbstractDBInequalityOperator.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	DefaultDBAndFunctionSymbol.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	DefaultDBStrStartsWithFunctionSymbol.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	BooleanDBIfElseNullFunctionSymbolImpl.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	DefaultDBOrFunctionSymbol.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	DBBooleanCaseFunctionSymbolImpl.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	DBBooleanFunctionSymbolWithSerializerImpl.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	DefaultDBNotFunctionSymbol.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	MockupSimpleDBBooleanCastFunctionSymbol.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	DefaultDBIsTrueFunctionSymbol.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	DefaultDBStrEndsWithFunctionSymbol.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
protected IncrementalEvaluation	DefaultSimpleDBCastFunctionSymbol.perform2ndStepEvaluationStrictEqWithConstant(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, String otherLexicalValue, TermFactory termFactory, VariableNullability variableNullability) After making the compatibility checks (2nd step) Low-level.
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)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeContains(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, 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 String	MockupDBFunctionSymbolFactory.serializeContains(com.google.common.collect.ImmutableList<? extends ImmutableTerm> immutableTerms, Function<ImmutableTerm,String> immutableTermStringFunction, TermFactory termFactory)
protected String	AbstractDBFunctionSymbolFactory.serializeCurrentDateTime(String type, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	AbstractDBFunctionSymbolFactory.serializeCurrentDateTime(String type, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected abstract String	AbstractDBFunctionSymbolFactory.serializeDayFromDate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, 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 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 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 String	MockupDBFunctionSymbolFactory.serializeDayFromDatetime(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	AbstractDBFunctionSymbolFactory.serializeExtract(String component, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
protected String	AbstractDBFunctionSymbolFactory.serializeExtract(String component, 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 String	MockupDBFunctionSymbolFactory.serializeYearFromDatetime(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, Function<ImmutableTerm,String> termConverter, TermFactory termFactory)
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	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	BooleanDBIfElseNullFunctionSymbolImpl.simplify2VL(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	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.
ImmutableTerm	AbstractOrNullFunctionSymbol.simplify2VL(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) 2VL: the NULL is considered "equivalent" to FALSE
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

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

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

Modifier and Type	Method and Description
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	RDFTermFunctionSymbolImpl.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	RDFTermTypeFunctionSymbolImpl.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	LangTagFunctionSymbolImpl.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	LexicalLangMatchesFunctionSymbolImpl.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	AreCompatibleRDFStringFunctionSymbolImpl.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	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	BinaryNumericLexicalFunctionSymbolImpl.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	RDFDatatypeStringFunctionSymbolImpl.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	StrUUIDSPARQLFunctionSymbolImpl.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	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	NowSPARQLFunctionSymbolImpl.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	AbstractBinaryComparisonSPARQLFunctionSymbol.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	RandSPARQLFunctionSymbolImpl.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	GroupConcatSPARQLFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	ReduciblePositiveAritySPARQLFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected abstract ImmutableTerm	SumLikeSPARQLAggregationFunctionSymbolImpl.combineAggregates(ImmutableTerm aggregate1, ImmutableTerm aggregate2, TermFactory termFactory)
protected ImmutableTerm	SumSPARQLFunctionSymbolImpl.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 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.computeBooleanEqualityOrInequality(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.computeDateEqualityOrInequality(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	LexicalNonStrictEqualityFunctionSymbolImpl.computeDatetimeEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	LangMatchesSPARQLFunctionSymbolImpl.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 abstract ImmutableTerm	StringBooleanBinarySPARQLFunctionSymbolImpl.computeDBBooleanTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
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	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.computeDefaultDifferentTypeEqualityOrInequality(RDFTermType termType1, RDFTermType termType2, TermFactory termFactory)
protected ImmutableTerm	LexicalInequalityFunctionSymbolImpl.computeDefaultDifferentTypeEqualityOrInequality(RDFTermType termType1, RDFTermType termType2, TermFactory termFactory)
protected ImmutableTerm	LexicalNonStrictEqualityFunctionSymbolImpl.computeDefaultDifferentTypeEqualityOrInequality(RDFTermType termType1, RDFTermType termType2, TermFactory termFactory)
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 ImmutableTerm	LexicalNonStrictEqualityFunctionSymbolImpl.computeDefaultSameTypeEqualityOrInequality(RDFTermType termType, ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected abstract ImmutableTerm	AbstractBinaryBooleanOperatorSPARQLFunctionSymbol.computeExpression(com.google.common.collect.ImmutableList<ImmutableExpression> subExpressions, TermFactory termFactory)
protected ImmutableTerm	LessThanSPARQLFunctionSymbolImpl.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	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	StrlenSPARQLFunctionSymbolImpl.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	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	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	DatatypeSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	StrAfterSPARQLFunctionSymbolImpl.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	LcaseSPARQLFunctionSymbolImpl.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	MultitypedInputUnarySPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	SubStr3SPARQLFunctionSymbolImpl.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	AbstractUnaryBooleanSPARQLFunctionSymbol.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	UcaseSPARQLFunctionSymbolImpl.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	NumericBinarySPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedRDFTypeTerm)
protected ImmutableTerm	AbstractIsASPARQLFunctionSymbol.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	Md5SPARQLFunctionSymbolImpl.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 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	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	Sha256SPARQLFunctionSymbolImpl.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	StrBeforeSPARQLFunctionSymbolImpl.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	StrAfterSPARQLFunctionSymbolImpl.computeLexicalTermWhenSecondArgIsNotEmpty(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
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.computeNumericEqualityOrInequality(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	LexicalNonStrictEqualityFunctionSymbolImpl.computeStringEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, 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	AbstractStrBeforeOrAfterSPARQLFunctionSymbol.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, 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	LangSPARQLFunctionSymbolImpl.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	DatatypeSPARQLFunctionSymbolImpl.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	DivideSPARQLFunctionSymbolImpl.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	StringBooleanBinarySPARQLFunctionSymbolImpl.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	AbstractUnaryBooleanSPARQLFunctionSymbol.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	NumericBinarySPARQLFunctionSymbolImpl.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	SimpleUnarySPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	StrSPARQLFunctionSymbolImpl.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 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	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	SPARQLLikeFunctionSymbolImpl.extractLexicalTerm(ImmutableTerm rdfTerm, TermFactory termFactory)
protected ImmutableTerm	SPARQLLikeFunctionSymbolImpl.extractRDFTermTypeTerm(ImmutableTerm rdfTerm, TermFactory termFactory)
protected abstract ImmutableTerm	SumLikeSPARQLAggregationFunctionSymbolImpl.getNeutralElement(TermFactory termFactory)
protected ImmutableTerm	SumSPARQLFunctionSymbolImpl.getNeutralElement(TermFactory termFactory)
ImmutableTerm	FunctionSymbolImpl.simplify(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability)
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 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.

Methods in it.unibz.inf.ontop.model.term.functionsymbol.impl that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
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 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)

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

Modifier and Type	Method and Description
protected abstract ImmutableTerm	SumLikeSPARQLAggregationFunctionSymbolImpl.combineAggregates(ImmutableTerm aggregate1, ImmutableTerm aggregate2, TermFactory termFactory)
protected ImmutableTerm	SumSPARQLFunctionSymbolImpl.combineAggregates(ImmutableTerm aggregate1, ImmutableTerm aggregate2, TermFactory termFactory)
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.computeBooleanEqualityOrInequality(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.computeDateEqualityOrInequality(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	LexicalNonStrictEqualityFunctionSymbolImpl.computeDatetimeEqualityOrInequality(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 ImmutableTerm	LexicalNonStrictEqualityFunctionSymbolImpl.computeDefaultSameTypeEqualityOrInequality(RDFTermType termType, ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	StrlenSPARQLFunctionSymbolImpl.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	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	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	DatatypeSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	StrAfterSPARQLFunctionSymbolImpl.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	LcaseSPARQLFunctionSymbolImpl.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	MultitypedInputUnarySPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	SubStr3SPARQLFunctionSymbolImpl.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	AbstractUnaryBooleanSPARQLFunctionSymbol.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	UcaseSPARQLFunctionSymbolImpl.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	NumericBinarySPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedRDFTypeTerm)
protected ImmutableTerm	AbstractIsASPARQLFunctionSymbol.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	Md5SPARQLFunctionSymbolImpl.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 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	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	Sha256SPARQLFunctionSymbolImpl.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 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.computeNumericEqualityOrInequality(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	LexicalNonStrictEqualityFunctionSymbolImpl.computeStringEqualityOrInequality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2, TermFactory termFactory, VariableNullability variableNullability)
protected abstract ImmutableFunctionalTerm	UnaryNumericSPARQLAggregationFunctionSymbolImpl.createAggregate(ConcreteNumericRDFDatatype rdfType, ImmutableTerm dbTerm, TermFactory termFactory)
protected ImmutableFunctionalTerm	AvgSPARQLFunctionSymbolImpl.createAggregate(ConcreteNumericRDFDatatype rdfType, ImmutableTerm dbTerm, TermFactory termFactory)
protected ImmutableFunctionalTerm	SumSPARQLFunctionSymbolImpl.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 DefinitionPushDownRequest	GroupConcatSPARQLFunctionSymbolImpl.createNonStrRequest(ImmutableTerm subTermTypeTerm, Variable nonStrVariable, TermFactory termFactory)
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	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	UnaryNumericSPARQLAggregationFunctionSymbolImpl.decomposeUnityped(ImmutableTerm subTerm, RDFTermType subTermType, boolean hasGroupBy, VariableNullability variableNullability, VariableGenerator variableGenerator, 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 ImmutableTerm	SPARQLLikeFunctionSymbolImpl.extractLexicalTerm(ImmutableTerm rdfTerm, TermFactory termFactory)
protected ImmutableTerm	SPARQLLikeFunctionSymbolImpl.extractRDFTermTypeTerm(ImmutableTerm rdfTerm, TermFactory termFactory)
protected boolean	SPARQLLikeFunctionSymbolImpl.isRDFFunctionalTerm(ImmutableTerm term)
protected ImmutableTerm	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.simplifyWithConstantTypes(TermFactory termFactory, VariableNullability variableNullability, DBTypeFactory dbTypeFactory, ImmutableTerm lexicalTerm1, ImmutableTerm lexicalTerm2, RDFTermTypeConstant typeTerm1, RDFTermTypeConstant typeTerm2)

Method parameters in it.unibz.inf.ontop.model.term.functionsymbol.impl with type arguments of type ImmutableTerm

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	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	RDFTermFunctionSymbolImpl.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	RDFTermTypeFunctionSymbolImpl.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	LangTagFunctionSymbolImpl.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	LexicalLangMatchesFunctionSymbolImpl.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	AreCompatibleRDFStringFunctionSymbolImpl.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	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	BinaryNumericLexicalFunctionSymbolImpl.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	RDFDatatypeStringFunctionSymbolImpl.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	StrUUIDSPARQLFunctionSymbolImpl.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	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	NowSPARQLFunctionSymbolImpl.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	AbstractBinaryComparisonSPARQLFunctionSymbol.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	RandSPARQLFunctionSymbolImpl.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	GroupConcatSPARQLFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	ReduciblePositiveAritySPARQLFunctionSymbolImpl.buildTermAfterEvaluation(com.google.common.collect.ImmutableList<ImmutableTerm> newTerms, TermFactory termFactory, VariableNullability variableNullability)
boolean	CountSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	StrlenSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Could be supported in the future
boolean	UUIDSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractStrBeforeOrAfterSPARQLFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	RDFTermFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	MinOrMaxSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	RDFTermTypeFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	LexicalEBVFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	LangTagFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractSubStrSPARQLFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Could be supported in the future
boolean	LangMatchesSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Could be allowed in the future
boolean	LangSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Could be supported in the future
boolean	UnaryLatelyTypedFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	LexicalLangMatchesFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	RegexSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	SameTermSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AreCompatibleRDFStringFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractCommonDenominatorFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	BinaryNumericLexicalFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractLexicalNonStrictEqOrInequalityFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	RDFDatatypeStringFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	DatatypeSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Could be allowed in the future
boolean	RDF2DBBooleanFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	UnaryNumericSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractHashSPARQLFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	StartsWithSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Could be allowed in the future
boolean	LcaseSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	ContainsSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Could be allowed in the future
boolean	IsARDFTermTypeFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	StrUUIDSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	MultitypedInputUnarySPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	NotYetTypedEqualityFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractUnaryBooleanSPARQLFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	EBVSPARQLLikeFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	UnaryNumericSPARQLAggregationFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractBinaryBooleanOperatorSPARQLFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	NowSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	UcaseSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	ConcatSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Could be allowed in the future
boolean	EndsWithSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Could be allowed in the future
boolean	NumericBinarySPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractIsASPARQLFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	SimpleUnarySPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	AbstractBinaryComparisonSPARQLFunctionSymbol.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	CoalesceSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	RandSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	StrSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments) Could be allowed in the future
boolean	GroupConcatSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
boolean	ReplaceSPARQLFunctionSymbolImpl.canBePostProcessed(com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
protected boolean	RDFTermFunctionSymbolImpl.canBeSafelyDecomposedIntoConjunction(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, VariableNullability variableNullability, com.google.common.collect.ImmutableList<? extends ImmutableTerm> otherTerms) TODO: stop overriding (only use the top implementation)
protected boolean	RDFTermFunctionSymbolImpl.canBeSafelyDecomposedIntoConjunction(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, VariableNullability variableNullability, com.google.common.collect.ImmutableList<? extends ImmutableTerm> otherTerms) TODO: stop overriding (only use the top implementation)
protected boolean	FunctionSymbolImpl.canBeSafelyDecomposedIntoConjunction(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, VariableNullability variableNullability, com.google.common.collect.ImmutableList<? extends ImmutableTerm> otherTerms) ONLY for injective function symbols Makes sure that the conjunction would never evaluate as FALSE instead of NULL (first produced equality evaluated as false, while the second evaluates as NULL)
protected boolean	FunctionSymbolImpl.canBeSafelyDecomposedIntoConjunction(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, VariableNullability variableNullability, com.google.common.collect.ImmutableList<? extends ImmutableTerm> otherTerms) ONLY for injective function symbols Makes sure that the conjunction would never evaluate as FALSE instead of NULL (first produced equality evaluated as false, while the second evaluates as NULL)
protected ImmutableTerm	LangMatchesSPARQLFunctionSymbolImpl.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	StartsWithSPARQLFunctionSymbolImpl.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 abstract ImmutableTerm	StringBooleanBinarySPARQLFunctionSymbolImpl.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	ContainsSPARQLFunctionSymbolImpl.computeDBBooleanTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
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 ImmutableTerm	EndsWithSPARQLFunctionSymbolImpl.computeDBBooleanTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected ImmutableExpression	NotSPARQLFunctionSymbolImpl.computeExpression(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, 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 ImmutableTerm	LessThanSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected ImmutableTerm	LessThanSPARQLFunctionSymbolImpl.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	GreaterThanSPARQLFunctionSymbolImpl.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 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 abstract ImmutableTerm	AbstractBinaryComparisonSPARQLFunctionSymbol.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory)
protected ImmutableTerm	StrlenSPARQLFunctionSymbolImpl.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	StrBeforeSPARQLFunctionSymbolImpl.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	LangSPARQLFunctionSymbolImpl.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	Sha512SPARQLFunctionSymbolImpl.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	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	DatatypeSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	DatatypeSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	StrAfterSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	StrAfterSPARQLFunctionSymbolImpl.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	UnaryNumericSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedRDFTypeTerm)
protected ImmutableTerm	LcaseSPARQLFunctionSymbolImpl.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 ImmutableTerm	StringBooleanBinarySPARQLFunctionSymbolImpl.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	MultitypedInputUnarySPARQLFunctionSymbolImpl.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	SubStr3SPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	SubStr3SPARQLFunctionSymbolImpl.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	Sha1SPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	AbstractUnaryBooleanSPARQLFunctionSymbol.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	AbstractUnaryBooleanSPARQLFunctionSymbol.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	SubStr2SPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	UcaseSPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	UcaseSPARQLFunctionSymbolImpl.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	ConcatSPARQLFunctionSymbolImpl.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	NumericBinarySPARQLFunctionSymbolImpl.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedRDFTypeTerm)
protected ImmutableTerm	AbstractIsASPARQLFunctionSymbol.computeLexicalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, ImmutableTerm returnedTypeTerm)
protected ImmutableTerm	AbstractIsASPARQLFunctionSymbol.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	SimpleUnarySPARQLFunctionSymbolImpl.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	Md5SPARQLFunctionSymbolImpl.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	StrSPARQLFunctionSymbolImpl.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 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	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	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	Sha256SPARQLFunctionSymbolImpl.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.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	StrAfterSPARQLFunctionSymbolImpl.computeLexicalTermWhenSecondArgIsNotEmpty(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, TermFactory termFactory)
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	StrlenSPARQLFunctionSymbolImpl.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	AbstractStrBeforeOrAfterSPARQLFunctionSymbol.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, 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	AbstractSubStrSPARQLFunctionSymbol.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	LangSPARQLFunctionSymbolImpl.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	RegexSPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
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	DatatypeSPARQLFunctionSymbolImpl.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	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	DivideSPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	DivideSPARQLFunctionSymbolImpl.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	AbstractHashSPARQLFunctionSymbol.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	StringBooleanBinarySPARQLFunctionSymbolImpl.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	MultitypedInputUnarySPARQLFunctionSymbolImpl.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 ImmutableTerm	AbstractUnaryBooleanSPARQLFunctionSymbol.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	ConcatSPARQLFunctionSymbolImpl.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	NumericBinarySPARQLFunctionSymbolImpl.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	AbstractIsASPARQLFunctionSymbol.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	SimpleUnarySPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	StrSPARQLFunctionSymbolImpl.computeTypeTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
protected ImmutableTerm	StrSPARQLFunctionSymbolImpl.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	AbstractUnaryStringSPARQLFunctionSymbol.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 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	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	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 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>	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
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>	GroupConcatSPARQLFunctionSymbolImpl.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)
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	AbstractStrBeforeOrAfterSPARQLFunctionSymbol.evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
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).
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).
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	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	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	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	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	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	StringBooleanBinarySPARQLFunctionSymbolImpl.evaluateInputTypeError(com.google.common.collect.ImmutableList<ImmutableTerm> subLexicalTerms, com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms, TermFactory termFactory, VariableNullability variableNullability)
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	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	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	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	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	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)
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	RDFTermTypeFunctionSymbolImpl.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) Still allows the IsNotNull evaluation, even if in "not-simplifiable" mode.
IncrementalEvaluation	FunctionSymbolImpl.evaluateIsNotNull(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory, VariableNullability variableNullability) Default implementation, can be overridden
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	RDFTermTypeFunctionSymbolImpl.evaluateStrictEqWithNonNullConstant(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, NonNullConstant otherTerm, TermFactory termFactory, VariableNullability variableNullability)
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
Optional<TermTypeInference>	CountSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	StrlenSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	UUIDSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractStrBeforeOrAfterSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Too complicated logic to determine if it is an XSD.STRING or a langString
Optional<TermTypeInference>	RDFTermFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	MinOrMaxSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Too complex to be implemented for the moment
Optional<TermTypeInference>	RDFTermTypeFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	LangTagFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractSubStrSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	LangSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	UnaryLatelyTypedFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Could be inferred after simplification
Optional<TermTypeInference>	RegexSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	SameTermSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractCommonDenominatorFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	BinaryNumericLexicalFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Could be inferred after simplification
Optional<TermTypeInference>	RDFDatatypeStringFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	DatatypeSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	UnaryNumericSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Too complex logic so not infer at this level (but after simplification into DB functional terms)
Optional<TermTypeInference>	AbstractHashSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	StringBooleanBinarySPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	StrUUIDSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	MultitypedInputUnarySPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractUnaryBooleanSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	EBVSPARQLLikeFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	UnaryNumericSPARQLAggregationFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Too complex to be implemented (for the moment)
Optional<TermTypeInference>	AbstractBinaryBooleanOperatorSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	NowSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	BooleanFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	ConcatSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	NumericBinarySPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Too complex logic so not infer at this level (but after simplification into DB functional terms)
Optional<TermTypeInference>	AbstractIsASPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	SimpleUnarySPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) If the child type is xsd:string or a language tag, then returns it.
Optional<TermTypeInference>	AbstractBinaryComparisonSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	CoalesceSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) No inference at the moment, because it is too complex
Optional<TermTypeInference>	RandSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	StrSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	AbstractUnaryStringSPARQLFunctionSymbol.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) If the child type is xsd:string or a language tag, then returns it.
Optional<TermTypeInference>	GroupConcatSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Optional<TermTypeInference>	ReplaceSPARQLFunctionSymbolImpl.inferType(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
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)
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	LexicalEBVFunctionSymbolImpl.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	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	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)
ImmutableExpression	NotYetTypedEqualityFunctionSymbolImpl.negate(com.google.common.collect.ImmutableList<? extends ImmutableTerm> subTerms, TermFactory termFactory)
Stream<Variable>	RDFTermFunctionSymbolImpl.proposeProvenanceVariables(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Looks at the lexical term for provenance variables
Stream<Variable>	FunctionSymbolImpl.proposeProvenanceVariables(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms) Conservative by default Can be overridden
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 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 ImmutableTerm

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, 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)
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 ImmutableTerm in it.unibz.inf.ontop.model.term.impl

Classes in it.unibz.inf.ontop.model.term.impl with type parameters of type ImmutableTerm

Modifier and Type	Class and Description
class	SimpleProtoSubstitutionImpl<T extends ImmutableTerm>

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

Modifier and Type	Class and Description
class	AbstractNonFunctionalTerm
class	AbstractNonNullConstant
class	BNodeConstantImpl Implementation for BNodes.
class	DBConstantImpl
class	GroundExpressionImpl
class	GroundFunctionalTermImpl
class	ImmutableExpressionImpl
class	ImmutableFunctionalTermImpl Immutable implementation
class	IRIConstantImpl Provides a storage to put the URI constant.
class	NonGroundExpressionImpl
class	NonGroundFunctionalTermImpl Constraint: should contain at least one variable
class	NullConstantImpl
class	RDFLiteralConstantImpl
class	RDFTermTypeConstantImpl
class	VariableImpl

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

Modifier and Type	Method and Description
<T extends ImmutableTerm> ProtoSubstitution<T>	TermFactoryImpl.getProtoSubstitution(com.google.common.collect.ImmutableMap<Variable,T> map)

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

Modifier and Type	Method and Description
ImmutableTerm	SimpleProtoSubstitutionImpl.applyToVariable(Variable variable)
ImmutableTerm	FunctionalTermDecompositionImpl.getLiftableTerm()
ImmutableTerm	FunctionalTermSimplificationImpl.getSimplifiedTerm()
ImmutableTerm	ImmutableExpressionImpl.ExpressionEvaluationImpl.getTerm()
ImmutableTerm	ImmutableExpressionImpl.ValueEvaluationImpl.getTerm()
ImmutableTerm	ImmutableFunctionalTermImpl.getTerm(int index)
ImmutableTerm	ImmutableFunctionalTermImpl.simplify()
ImmutableTerm	AbstractNonFunctionalTerm.simplify()
ImmutableTerm	ImmutableFunctionalTermImpl.simplify(VariableNullability variableNullability)
ImmutableTerm	AbstractNonFunctionalTerm.simplify(VariableNullability variableNullability)
ImmutableTerm	ImmutableExpressionImpl.simplify2VL(VariableNullability variableNullability)

Methods in it.unibz.inf.ontop.model.term.impl that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<? extends ImmutableTerm>	ImmutableFunctionalTermImpl.getTerms()

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

Modifier and Type	Method and Description
static VariableOrGroundTerm	GroundTermTools.convertIntoVariableOrGroundTerm(ImmutableTerm term)
IncrementalEvaluation	BNodeConstantImpl.evaluateStrictEq(ImmutableTerm otherTerm, VariableNullability variableNullability)
IncrementalEvaluation	RDFLiteralConstantImpl.evaluateStrictEq(ImmutableTerm otherTerm, VariableNullability variableNullability) Strict equality: require to have the same lexical value and the same datatype To be distinguished from https://www.w3.org/TR/sparql11-query/#func-RDFterm-equal (which returns NULL instead of FALSE for two different literals)
IncrementalEvaluation	ImmutableFunctionalTermImpl.evaluateStrictEq(ImmutableTerm otherTerm, VariableNullability variableNullability)
IncrementalEvaluation	IRIConstantImpl.evaluateStrictEq(ImmutableTerm otherTerm, VariableNullability variableNullability)
IncrementalEvaluation	VariableImpl.evaluateStrictEq(ImmutableTerm otherTerm, VariableNullability variableNullability)
IncrementalEvaluation	RDFTermTypeConstantImpl.evaluateStrictEq(ImmutableTerm otherTerm, VariableNullability variableNullability)
IncrementalEvaluation	DBConstantImpl.evaluateStrictEq(ImmutableTerm otherTerm, VariableNullability variableNullability)
IncrementalEvaluation	NullConstantImpl.evaluateStrictEq(ImmutableTerm otherTerm, VariableNullability variableNullability)
ImmutableExpression	TermFactoryImpl.getAreCompatibleRDFStringExpression(ImmutableTerm typeTerm1, ImmutableTerm typeTerm2)
ImmutableFunctionalTerm	TermFactoryImpl.getBinaryNumericLexicalFunctionalTerm(String dbNumericOperationName, ImmutableTerm lexicalTerm1, ImmutableTerm lexicalTerm2, ImmutableTerm rdfTypeTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getCommonPropagatedOrSubstitutedNumericType(ImmutableTerm rdfTypeTerm1, ImmutableTerm rdfTypeTerm2)
ImmutableFunctionalTerm	TermFactoryImpl.getConversion2RDFLexical(DBTermType inputType, ImmutableTerm term, RDFTermType rdfTermType)
ImmutableFunctionalTerm	TermFactoryImpl.getConversion2RDFLexical(ImmutableTerm dbTerm, RDFTermType rdfType)
ImmutableFunctionalTerm	TermFactoryImpl.getConversionFromRDFLexical2DB(DBTermType targetDBType, ImmutableTerm dbTerm, RDFTermType rdfType)
ImmutableFunctionalTerm	TermFactoryImpl.getConversionFromRDFLexical2DB(ImmutableTerm dbTerm, RDFTermType rdfType)
ImmutableFunctionalTerm	TermFactoryImpl.getDBAvg(ImmutableTerm subTerm, DBTermType dbType, boolean isDistinct)
ImmutableFunctionalTerm	TermFactoryImpl.getDBBinaryNumericFunctionalTerm(String dbNumericOperationName, DBTermType dbNumericType, ImmutableTerm dbTerm1, ImmutableTerm dbTerm2)
ImmutableExpression	TermFactoryImpl.getDBBooleanInequality(InequalityLabel inequalityLabel, ImmutableTerm dbBooleanTerm1, ImmutableTerm dbBooleanTerm2)
ImmutableFunctionalTerm	TermFactoryImpl.getDBCase(Stream<? extends Map.Entry<ImmutableExpression,? extends ImmutableTerm>> whenPairs, ImmutableTerm defaultTerm, boolean doOrderingMatter)
ImmutableFunctionalTerm	TermFactoryImpl.getDBCastFunctionalTerm(DBTermType inputType, DBTermType targetType, ImmutableTerm term)
ImmutableFunctionalTerm	TermFactoryImpl.getDBCastFunctionalTerm(DBTermType targetType, ImmutableTerm term)
ImmutableFunctionalTerm	TermFactoryImpl.getDBCharLength(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBCoalesce(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... terms)
ImmutableFunctionalTerm	TermFactoryImpl.getDBCoalesce(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... terms)
ImmutableFunctionalTerm	TermFactoryImpl.getDBCount(ImmutableTerm term, boolean isDistinct)
ImmutableExpression	TermFactoryImpl.getDBDateInequality(InequalityLabel inequalityLabel, ImmutableTerm dbDateTerm1, ImmutableTerm dbDateTerm2)
ImmutableExpression	TermFactoryImpl.getDBDatetimeInequality(InequalityLabel inequalityLabel, ImmutableTerm dbDatetimeTerm1, ImmutableTerm dbDatetimeTerm2)
ImmutableFunctionalTerm	TermFactoryImpl.getDBDayFromDatetime(ImmutableTerm dbDatetimeTerm)
ImmutableExpression	TermFactoryImpl.getDBDefaultInequality(InequalityLabel inequalityLabel, ImmutableTerm dbTerm1, ImmutableTerm dbTerm2)
ImmutableFunctionalTerm	TermFactoryImpl.getDBGroupConcat(ImmutableTerm subTerm, String separator, boolean isDistinct)
ImmutableFunctionalTerm	TermFactoryImpl.getDBHours(ImmutableTerm dbDatetimeTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBIntIndex(ImmutableTerm idTerm, com.google.common.collect.ImmutableList<ImmutableTerm> possibleValues)
ImmutableFunctionalTerm	TermFactoryImpl.getDBIntIndex(ImmutableTerm idTerm, ImmutableTerm... possibleValues)
ImmutableFunctionalTerm	TermFactoryImpl.getDBIntIndex(ImmutableTerm idTerm, ImmutableTerm... possibleValues)
ImmutableExpression	TermFactoryImpl.getDBIsNotNull(ImmutableTerm immutableTerm)
ImmutableExpression	TermFactoryImpl.getDBIsNull(ImmutableTerm immutableTerm)
ImmutableExpression	TermFactoryImpl.getDBIsStringEmpty(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBLower(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBMax(ImmutableTerm subTerm, DBTermType dbType)
ImmutableFunctionalTerm	TermFactoryImpl.getDBMd5(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBMin(ImmutableTerm subTerm, DBTermType dbType)
ImmutableFunctionalTerm	TermFactoryImpl.getDBMinutes(ImmutableTerm dbDatetimeTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBMonthFromDatetime(ImmutableTerm dbDatetimeTerm)
ImmutableExpression	TermFactoryImpl.getDBNonStrictDateEquality(ImmutableTerm dbTerm1, ImmutableTerm dbTerm2)
ImmutableExpression	TermFactoryImpl.getDBNonStrictDatetimeEquality(ImmutableTerm dbDatetimeTerm1, ImmutableTerm dbDatetimeTerm2)
ImmutableExpression	TermFactoryImpl.getDBNonStrictDefaultEquality(ImmutableTerm term1, ImmutableTerm term2)
ImmutableExpression	TermFactoryImpl.getDBNonStrictNumericEquality(ImmutableTerm dbNumericTerm1, ImmutableTerm dbNumericTerm2)
ImmutableExpression	TermFactoryImpl.getDBNonStrictStringEquality(ImmutableTerm dbStringTerm1, ImmutableTerm dbStringTerm2)
ImmutableExpression	TermFactoryImpl.getDBNumericInequality(InequalityLabel inequalityLabel, ImmutableTerm dbNumericTerm1, ImmutableTerm dbNumericTerm2)
ImmutableFunctionalTerm	TermFactoryImpl.getDBRegexpReplace(ImmutableTerm text, ImmutableTerm from, ImmutableTerm to)
ImmutableFunctionalTerm	TermFactoryImpl.getDBRegexpReplace(ImmutableTerm arg, ImmutableTerm pattern, ImmutableTerm replacement, ImmutableTerm flags)
ImmutableFunctionalTerm	TermFactoryImpl.getDBReplace(ImmutableTerm text, ImmutableTerm from, ImmutableTerm to)
ImmutableFunctionalTerm	TermFactoryImpl.getDBRight(ImmutableTerm stringTerm, ImmutableTerm lengthTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBSeconds(ImmutableTerm dbDatetimeTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBSha1(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBSha256(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBSha512(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBStrAfter(ImmutableTerm arg1, ImmutableTerm arg2)
ImmutableFunctionalTerm	TermFactoryImpl.getDBStrBefore(ImmutableTerm arg1, ImmutableTerm arg2)
ImmutableExpression	TermFactoryImpl.getDBStringInequality(InequalityLabel inequalityLabel, ImmutableTerm dbStringTerm1, ImmutableTerm dbStringTerm2)
ImmutableFunctionalTerm	TermFactoryImpl.getDBSubString2(ImmutableTerm stringTerm, ImmutableTerm from)
ImmutableFunctionalTerm	TermFactoryImpl.getDBSubString3(ImmutableTerm stringTerm, ImmutableTerm from, ImmutableTerm to)
ImmutableFunctionalTerm	TermFactoryImpl.getDBSum(ImmutableTerm subTerm, DBTermType dbType, boolean isDistinct)
ImmutableFunctionalTerm	TermFactoryImpl.getDBTz(ImmutableTerm dbDatetimeTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBUpper(ImmutableTerm stringTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getDBYearFromDatetime(ImmutableTerm dbDatetimeTerm)
ImmutableFunctionalTerm.FunctionalTermDecomposition	TermFactoryImpl.getFunctionalTermDecomposition(ImmutableTerm liftableTerm)
ImmutableFunctionalTerm.FunctionalTermDecomposition	TermFactoryImpl.getFunctionalTermDecomposition(ImmutableTerm liftableTerm, com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm> subTermSubstitutionMap)
ImmutableFunctionalTerm	TermFactoryImpl.getIfElseNull(ImmutableExpression condition, ImmutableTerm term)
ImmutableFunctionalTerm	TermFactoryImpl.getIfThenElse(ImmutableExpression condition, ImmutableTerm thenTerm, ImmutableTerm elseTerm)
ImmutableExpression	TermFactoryImpl.getImmutableExpression(BooleanFunctionSymbol functor, ImmutableTerm... arguments)
ImmutableFunctionalTerm	TermFactoryImpl.getImmutableFunctionalTerm(FunctionSymbol functor, ImmutableTerm... terms)
ImmutableExpression	TermFactoryImpl.getIsAExpression(ImmutableTerm termTypeTerm, RDFTermType baseType)
ImmutableFunctionalTerm	TermFactoryImpl.getLangTypeFunctionalTerm(ImmutableTerm rdfTypeTerm)
ImmutableExpression	TermFactoryImpl.getLexicalEffectiveBooleanValue(ImmutableTerm lexicalTerm, ImmutableTerm rdfDatatypeTerm)
ImmutableExpression	TermFactoryImpl.getLexicalInequality(InequalityLabel inequalityLabel, ImmutableTerm lexicalTerm1, ImmutableTerm typeTerm1, ImmutableTerm lexicalTerm2, ImmutableTerm typeTerm2)
ImmutableExpression	TermFactoryImpl.getLexicalLangMatches(ImmutableTerm langTagTerm, ImmutableTerm langRangeTerm)
ImmutableExpression	TermFactoryImpl.getLexicalNonStrictEquality(ImmutableTerm lexicalTerm1, ImmutableTerm typeTerm1, ImmutableTerm lexicalTerm2, ImmutableTerm typeTerm2)
NonGroundFunctionalTerm	TermFactoryImpl.getNonGroundFunctionalTerm(FunctionSymbol functor, ImmutableTerm... terms)
ImmutableExpression	TermFactoryImpl.getNotYetTypedEquality(ImmutableTerm t1, ImmutableTerm t2)
ImmutableFunctionalTerm	TermFactoryImpl.getR2RMLIRISafeEncodeFunctionalTerm(ImmutableTerm term)
ImmutableExpression	TermFactoryImpl.getRDF2DBBooleanFunctionalTerm(ImmutableTerm xsdBooleanTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getRDFDatatypeStringFunctionalTerm(ImmutableTerm rdfTypeTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getRDFFunctionalTerm(ImmutableTerm lexicalTerm, ImmutableTerm typeTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getRDFLiteralFunctionalTerm(ImmutableTerm lexicalTerm, org.apache.commons.rdf.api.IRI datatypeIRI)
ImmutableFunctionalTerm	TermFactoryImpl.getRDFLiteralFunctionalTerm(ImmutableTerm lexicalTerm, RDFDatatype type)
ImmutableFunctionalTerm	TermFactoryImpl.getRDFLiteralFunctionalTerm(ImmutableTerm lexicalTerm, String language)
ImmutableFunctionalTerm	TermFactoryImpl.getRDFTermTypeFunctionalTerm(ImmutableTerm term, TypeConstantDictionary dictionary, com.google.common.collect.ImmutableSet<RDFTermTypeConstant> possibleConstants, boolean isSimplifiable)
ImmutableFunctionalTerm	TermFactoryImpl.getSPARQLEffectiveBooleanValue(ImmutableTerm rdfTerm)
ImmutableFunctionalTerm	TermFactoryImpl.getSPARQLNonStrictEquality(ImmutableTerm rdfTerm1, ImmutableTerm rdfTerm2)
ImmutableExpression	TermFactoryImpl.getStrictEquality(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... otherTerms)
ImmutableExpression	TermFactoryImpl.getStrictEquality(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... otherTerms)
ImmutableExpression	TermFactoryImpl.getStrictNEquality(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... otherTerms)
ImmutableExpression	TermFactoryImpl.getStrictNEquality(ImmutableTerm term1, ImmutableTerm term2, ImmutableTerm... otherTerms)
ImmutableFunctionalTerm	TermFactoryImpl.getUnaryLatelyTypedFunctionalTerm(ImmutableTerm lexicalTerm, ImmutableTerm inputRDFTypeTerm, DBTermType targetType, Function<DBTermType,DBFunctionSymbol> dbFunctionSymbolFct)
ImmutableFunctionalTerm	TermFactoryImpl.getUnaryLexicalFunctionalTerm(ImmutableTerm lexicalTerm, ImmutableTerm rdfDatatypeTerm, Function<DBTermType,DBFunctionSymbol> dbFunctionSymbolFct)

Method parameters in it.unibz.inf.ontop.model.term.impl with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
static boolean	GroundTermTools.areGroundTerms(Collection<? extends ImmutableTerm> terms)
ImmutableFunctionalTerm	TermFactoryImpl.getBnodeFunctionalTerm(String bnodeTemplate, com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
ImmutableFunctionalTerm	TermFactoryImpl.getCommonDenominatorFunctionalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> typeTerms)
ImmutableFunctionalTerm	TermFactoryImpl.getDBCase(Stream<? extends Map.Entry<ImmutableExpression,? extends ImmutableTerm>> whenPairs, ImmutableTerm defaultTerm, boolean doOrderingMatter)
ImmutableFunctionalTerm	TermFactoryImpl.getDBCaseElseNull(Stream<? extends Map.Entry<ImmutableExpression,? extends ImmutableTerm>> whenPairs, boolean doOrderingMatter)
ImmutableFunctionalTerm	TermFactoryImpl.getDBCoalesce(com.google.common.collect.ImmutableList<ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getDBContains(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getDBEndsWith(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableFunctionalTerm	TermFactoryImpl.getDBIntIndex(ImmutableTerm idTerm, com.google.common.collect.ImmutableList<ImmutableTerm> possibleValues)
ImmutableExpression	TermFactoryImpl.getDBRegexpMatches(com.google.common.collect.ImmutableList<ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getDBStartsWith(com.google.common.collect.ImmutableList<ImmutableTerm> terms)
ImmutableFunctionalTerm	TermFactoryImpl.getFreshBnodeFunctionalTerm(com.google.common.collect.ImmutableList<ImmutableTerm> arguments)
ImmutableExpression	TermFactoryImpl.getImmutableExpression(BooleanFunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
ImmutableFunctionalTerm	TermFactoryImpl.getImmutableFunctionalTerm(FunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableFunctionalTerm	TermFactoryImpl.getIRIFunctionalTerm(String iriTemplate, com.google.common.collect.ImmutableList<? extends ImmutableTerm> arguments)
NonGroundFunctionalTerm	TermFactoryImpl.getNonGroundFunctionalTerm(FunctionSymbol functor, com.google.common.collect.ImmutableList<ImmutableTerm> terms)
ImmutableFunctionalTerm	TermFactoryImpl.getNullRejectingDBConcatFunctionalTerm(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getStrictEquality(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getStrictEquality(com.google.common.collect.ImmutableSet<ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getStrictNEquality(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableExpression	TermFactoryImpl.getStrictNEquality(com.google.common.collect.ImmutableSet<ImmutableTerm> terms)

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

Constructor and Description
FunctionalTermDecompositionImpl(ImmutableTerm liftableTerm)
FunctionalTermDecompositionImpl(ImmutableTerm injectiveTerm, com.google.common.collect.ImmutableMap<Variable,ImmutableFunctionalTerm> subTermSubstitutionMap)
FunctionalTermSimplificationImpl(ImmutableTerm simplifiedTerm, com.google.common.collect.ImmutableSet<Variable> simplifiableVariables)
ImmutableExpressionImpl(TermFactory termFactory, BooleanFunctionSymbol functor, ImmutableTerm... terms)
ImmutableFunctionalTermImpl(FunctionSymbol functor, TermFactory termFactory, ImmutableTerm... terms)
NonGroundExpressionImpl(TermFactory termFactory, BooleanFunctionSymbol functor, ImmutableTerm... terms)
NonGroundFunctionalTermImpl(TermFactory termFactory, FunctionSymbol functor, ImmutableTerm... terms)

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

Constructor and Description
ImmutableExpressionImpl(BooleanFunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
ImmutableFunctionalTermImpl(FunctionSymbol functionSymbol, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
NonGroundExpressionImpl(BooleanFunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)
NonGroundFunctionalTermImpl(FunctionSymbol functor, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms, TermFactory termFactory)

Uses of ImmutableTerm in it.unibz.inf.ontop.substitution

Classes in it.unibz.inf.ontop.substitution with type parameters of type ImmutableTerm

Modifier and Type	Interface and Description
interface	ImmutableSubstitution<T extends ImmutableTerm> Declaration that the substitution is immutable and only refer to ImmutableTerms.
interface	ProtoSubstitution<T extends ImmutableTerm> TODO: find a better name Minimal interface for a substitution May not depend on the AtomFactory and SubstitutionFactory

Methods in it.unibz.inf.ontop.substitution with type parameters of type ImmutableTerm

Modifier and Type	Method and Description
<T extends ImmutableTerm> ImmutableSubstitution<T>	InjectiveVar2VarSubstitution.applyRenaming(ImmutableSubstitution<T> substitutionToRename) Applies it (the Var2VarSubstitution) on the keys and values of the given substitution.
<T extends ImmutableTerm> Optional<ImmutableSubstitution<T>>	Var2VarSubstitution.applyToSubstitution(ImmutableSubstitution<T> substitution) Applies the substitution to the domain and co-domain terns Returns Optional.empty() if the results is not a substitution (incompatible entries)
<T extends ImmutableTerm> T	Var2VarSubstitution.applyToTerm(T term) Guarantees that the term type is preserved
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactory.getSubstitution()
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactory.getSubstitution(com.google.common.collect.ImmutableMap<Variable,T> newSubstitutionMap)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactory.getSubstitution(Variable k1, T v1)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactory.getSubstitution(Variable k1, T v1, Variable k2, T v2)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactory.getSubstitution(Variable k1, T v1, Variable k2, T v2, Variable k3, T v3)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactory.getSubstitution(Variable k1, T v1, Variable k2, T v2, Variable k3, T v3, Variable k4, T v4)

Methods in it.unibz.inf.ontop.substitution that return ImmutableTerm

Modifier and Type	Method and Description
ImmutableTerm	ProtoSubstitution.apply(ImmutableTerm term) Applies the substitution to an immutable term.
ImmutableTerm	ProtoSubstitution.applyToVariable(Variable variable) This method can be applied to simple variables

Methods in it.unibz.inf.ontop.substitution that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<ImmutableTerm>	ProtoSubstitution.apply(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableSubstitution<ImmutableTerm>	ImmutableSubstitution.applyToTarget(ImmutableSubstitution<? extends ImmutableTerm> otherSubstitution) Applies the current substitution to the "target" part of another substitution
ImmutableSubstitution<ImmutableTerm>	ImmutableSubstitution.composeWith(ImmutableSubstitution<? extends ImmutableTerm> f) Viewing a substitution as a function (takes a term, returns a term).
ImmutableSubstitution<ImmutableTerm>	ImmutableSubstitution.simplifyValues()
ImmutableSubstitution<ImmutableTerm>	ImmutableSubstitution.simplifyValues(VariableNullability variableNullability)
Optional<ImmutableSubstitution<? extends ImmutableTerm>>	ImmutableSubstitution.unionHeterogeneous(ImmutableSubstitution<? extends ImmutableTerm> other) TODO: explain

Methods in it.unibz.inf.ontop.substitution with parameters of type ImmutableTerm

Modifier and Type	Method and Description
ImmutableTerm	ProtoSubstitution.apply(ImmutableTerm term) Applies the substitution to an immutable term.

Method parameters in it.unibz.inf.ontop.substitution with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<ImmutableTerm>	ProtoSubstitution.apply(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableSubstitution<ImmutableTerm>	ImmutableSubstitution.applyToTarget(ImmutableSubstitution<? extends ImmutableTerm> otherSubstitution) Applies the current substitution to the "target" part of another substitution
ImmutableSubstitution<ImmutableTerm>	ImmutableSubstitution.composeWith(ImmutableSubstitution<? extends ImmutableTerm> f) Viewing a substitution as a function (takes a term, returns a term).
Optional<ImmutableSubstitution<? extends ImmutableTerm>>	ImmutableSubstitution.unionHeterogeneous(ImmutableSubstitution<? extends ImmutableTerm> other) TODO: explain

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

Classes in it.unibz.inf.ontop.substitution.impl with type parameters of type ImmutableTerm

Modifier and Type	Class and Description
class	AbstractImmutableSubstitutionImpl<T extends ImmutableTerm> Common abstract class for ImmutableSubstitutionImpl and Var2VarSubstitutionImpl
class	AbstractProtoSubstitution<T extends ImmutableTerm>
class	ImmutableSubstitutionImpl<T extends ImmutableTerm> Wrapper above an ImmutableMap<Variable, ImmutableTerm> map.

Methods in it.unibz.inf.ontop.substitution.impl with type parameters of type ImmutableTerm

Modifier and Type	Method and Description
<T extends ImmutableTerm> ImmutableSubstitution<T>	InjectiveVar2VarSubstitutionImpl.applyRenaming(ImmutableSubstitution<T> substitutionToRename)
<T extends ImmutableTerm> Optional<ImmutableSubstitution<T>>	InjectiveVar2VarSubstitutionImpl.applyToSubstitution(ImmutableSubstitution<T> substitution) More efficient implementation
<T extends ImmutableTerm> Optional<ImmutableSubstitution<T>>	Var2VarSubstitutionImpl.applyToSubstitution(ImmutableSubstitution<T> substitution) TODO: directly build an ImmutableMap
<T extends ImmutableTerm> T	Var2VarSubstitutionImpl.applyToTerm(T term)
<T extends ImmutableTerm> Optional<ImmutableSubstitution<T>>	ImmutableUnificationTools.computeMGU(com.google.common.collect.ImmutableList<T> args1, com.google.common.collect.ImmutableList<T> args2) TODO: explain
<T extends ImmutableTerm> Optional<ImmutableSubstitution<T>>	UnifierUtilities.getMGU(com.google.common.collect.ImmutableList<? extends ImmutableTerm> args1, com.google.common.collect.ImmutableList<? extends ImmutableTerm> args2) Computes the Most General Unifier (MGU) for two n-ary atoms.
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactoryImpl.getSubstitution()
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactoryImpl.getSubstitution(com.google.common.collect.ImmutableMap<Variable,T> newSubstitutionMap)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactoryImpl.getSubstitution(Variable k1, T v1)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactoryImpl.getSubstitution(Variable k1, T v1, Variable k2, T v2)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactoryImpl.getSubstitution(Variable k1, T v1, Variable k2, T v2, Variable k3, T v3)
<T extends ImmutableTerm> ImmutableSubstitution<T>	SubstitutionFactoryImpl.getSubstitution(Variable k1, T v1, Variable k2, T v2, Variable k3, T v3, Variable k4, T v4)
<T extends ImmutableTerm> ImmutableSubstitution<T>	ImmutableSubstitutionTools.prioritizeRenaming(ImmutableSubstitution<T> substitution, com.google.common.collect.ImmutableSet<Variable> priorityVariables) Prevents priority variables to be renamed into non-priority variables.

Methods in it.unibz.inf.ontop.substitution.impl that return ImmutableTerm

Modifier and Type	Method and Description
ImmutableTerm	AbstractProtoSubstitution.apply(ImmutableTerm term)
ImmutableTerm	ImmutableSubstitutionImpl.applyToVariable(Variable variable)

Methods in it.unibz.inf.ontop.substitution.impl that return types with arguments of type ImmutableTerm

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<ImmutableTerm>	AbstractProtoSubstitution.apply(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableSubstitution<ImmutableTerm>	AbstractImmutableSubstitutionImpl.applyToTarget(ImmutableSubstitution<? extends ImmutableTerm> otherSubstitution)
ImmutableSubstitution<ImmutableTerm>	AbstractImmutableSubstitutionImpl.composeWith(ImmutableSubstitution<? extends ImmutableTerm> f) " "this o f" Equivalent to the function x -> this.apply(f.apply(x)) Follows the formal definition of a the composition of two substitutions.
Optional<ImmutableSubstitution<ImmutableTerm>>	ImmutableUnificationTools.computeDirectedMGU(ImmutableTerm sourceTerm, ImmutableTerm targetTerm) Computes a MGU that reuses as much as possible the variables from the target part.
Optional<ImmutableSubstitution<ImmutableTerm>>	ImmutableUnificationTools.computeMGUS(ImmutableSubstitution<? extends ImmutableTerm> substitution1, ImmutableSubstitution<? extends ImmutableTerm> substitution2) Computes one Most General Unifier (MGU) of (two) substitutions.
Optional<ImmutableSubstitution<ImmutableTerm>>	ImmutableSubstitutionTools.computeUnidirectionalSubstitution(ImmutableTerm sourceTerm, ImmutableTerm targetTerm) Returns a substitution theta (if it exists) such as : theta(s) = t with s : source term t: target term
ImmutableSubstitution<ImmutableTerm>	AbstractImmutableSubstitutionImpl.simplifyValues()
ImmutableSubstitution<ImmutableTerm>	AbstractImmutableSubstitutionImpl.simplifyValues(Optional<VariableNullability> variableNullability)
ImmutableSubstitution<ImmutableTerm>	AbstractImmutableSubstitutionImpl.simplifyValues(VariableNullability variableNullability)
Optional<ImmutableSubstitution<? extends ImmutableTerm>>	AbstractImmutableSubstitutionImpl.unionHeterogeneous(ImmutableSubstitution<? extends ImmutableTerm> otherSubstitution)

Methods in it.unibz.inf.ontop.substitution.impl with parameters of type ImmutableTerm

Modifier and Type	Method and Description
ImmutableTerm	AbstractProtoSubstitution.apply(ImmutableTerm term)
Optional<ImmutableSubstitution<ImmutableTerm>>	ImmutableUnificationTools.computeDirectedMGU(ImmutableTerm sourceTerm, ImmutableTerm targetTerm) Computes a MGU that reuses as much as possible the variables from the target part.
Optional<ImmutableSubstitution<ImmutableTerm>>	ImmutableSubstitutionTools.computeUnidirectionalSubstitution(ImmutableTerm sourceTerm, ImmutableTerm targetTerm) Returns a substitution theta (if it exists) such as : theta(s) = t with s : source term t: target term

Method parameters in it.unibz.inf.ontop.substitution.impl with type arguments of type ImmutableTerm

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<ImmutableTerm>	AbstractProtoSubstitution.apply(com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
ImmutableSubstitution<ImmutableTerm>	AbstractImmutableSubstitutionImpl.applyToTarget(ImmutableSubstitution<? extends ImmutableTerm> otherSubstitution)
ImmutableSubstitution<ImmutableTerm>	AbstractImmutableSubstitutionImpl.composeWith(ImmutableSubstitution<? extends ImmutableTerm> f) " "this o f" Equivalent to the function x -> this.apply(f.apply(x)) Follows the formal definition of a the composition of two substitutions.
Optional<ImmutableSubstitution<ImmutableTerm>>	ImmutableUnificationTools.computeMGUS(ImmutableSubstitution<? extends ImmutableTerm> substitution1, ImmutableSubstitution<? extends ImmutableTerm> substitution2) Computes one Most General Unifier (MGU) of (two) substitutions.
Optional<ImmutableSubstitution<ImmutableTerm>>	ImmutableUnificationTools.computeMGUS(ImmutableSubstitution<? extends ImmutableTerm> substitution1, ImmutableSubstitution<? extends ImmutableTerm> substitution2) Computes one Most General Unifier (MGU) of (two) substitutions.
protected Optional<ImmutableExpression>	AbstractImmutableSubstitutionImpl.convertIntoBooleanExpression(ImmutableSubstitution<? extends ImmutableTerm> substitution)
<T extends ImmutableTerm> Optional<ImmutableSubstitution<T>>	UnifierUtilities.getMGU(com.google.common.collect.ImmutableList<? extends ImmutableTerm> args1, com.google.common.collect.ImmutableList<? extends ImmutableTerm> args2) Computes the Most General Unifier (MGU) for two n-ary atoms.
<T extends ImmutableTerm> Optional<ImmutableSubstitution<T>>	UnifierUtilities.getMGU(com.google.common.collect.ImmutableList<? extends ImmutableTerm> args1, com.google.common.collect.ImmutableList<? extends ImmutableTerm> args2) Computes the Most General Unifier (MGU) for two n-ary atoms.
Optional<ImmutableSubstitution<? extends ImmutableTerm>>	AbstractImmutableSubstitutionImpl.unionHeterogeneous(ImmutableSubstitution<? extends ImmutableTerm> otherSubstitution)