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

Packages that use NonFunctionalTerm

Package	Description
it.unibz.inf.ontop.iq.node.normalization
it.unibz.inf.ontop.iq.node.normalization.impl
it.unibz.inf.ontop.model.term
it.unibz.inf.ontop.model.term.functionsymbol
it.unibz.inf.ontop.model.term.functionsymbol.db.impl
it.unibz.inf.ontop.model.term.functionsymbol.impl
it.unibz.inf.ontop.model.term.impl
it.unibz.inf.ontop.substitution
it.unibz.inf.ontop.substitution.impl

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

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

Modifier and Type	Method and Description
ImmutableSubstitution<NonFunctionalTerm>	ConditionSimplifier.ExpressionAndSubstitution.getSubstitution()

Uses of NonFunctionalTerm 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 NonFunctionalTerm

Modifier and Type	Method and Description
ImmutableSubstitution<NonFunctionalTerm>	ExpressionAndSubstitutionImpl.getSubstitution()

Constructor parameters in it.unibz.inf.ontop.iq.node.normalization.impl with type arguments of type NonFunctionalTerm

Constructor and Description
ExpressionAndSubstitutionImpl(Optional<ImmutableExpression> optionalExpression, ImmutableSubstitution<NonFunctionalTerm> substitution)

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

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

Modifier and Type	Interface and Description
interface	BNode
interface	Constant This class defines a type of Term in which it has a constant value.
interface	DBConstant
interface	IRIConstant Provides an interface for storing the IRI constant.
interface	NonNullConstant
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 Term in which it expresses a quantity that during a calculation is assumed to vary or be capable of varying in value.

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

Modifier and Type	Method and Description
ImmutableExpression	TermFactory.getIsTrue(NonFunctionalTerm dbBooleanTerm) Wraps a DB boolean constant/variable into an ImmutableExpression

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

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

Modifier and Type	Method and Description
FunctionSymbol.FunctionalTermNullability	FunctionSymbol.evaluateNullability(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, VariableNullability childNullability, TermFactory termFactory)

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

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

Modifier and Type	Method and Description
protected com.google.common.collect.ImmutableList<? extends ImmutableTerm>	AbstractDBIfThenFunctionSymbol.transformIntoRegularArguments(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, TermFactory termFactory) Requires some of its arguments to be expressions
protected com.google.common.collect.ImmutableList<? extends ImmutableTerm>	AbstractOrNullFunctionSymbol.transformIntoRegularArguments(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, TermFactory termFactory) Requires its arguments to be expressions
protected com.google.common.collect.ImmutableList<? extends ImmutableTerm>	DefaultDBNotFunctionSymbol.transformIntoRegularArguments(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, TermFactory termFactory) Requires its arguments to be expressions
protected com.google.common.collect.ImmutableList<? extends ImmutableTerm>	AbstractDBBooleanConnectorFunctionSymbol.transformIntoRegularArguments(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, TermFactory termFactory) Requires its arguments to be expressions

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

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

Modifier and Type	Method and Description
FunctionSymbol.FunctionalTermNullability	FunctionSymbolImpl.evaluateNullability(com.google.common.collect.ImmutableList<? extends NonFunctionalTerm> arguments, VariableNullability childNullability, TermFactory termFactory)
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

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

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

Modifier and Type	Class and Description
class	AbstractNonFunctionalTerm
class	AbstractNonNullConstant
class	BNodeConstantImpl Implementation for BNodes.
class	DBConstantImpl
class	IRIConstantImpl Provides a storage to put the URI constant.
class	NullConstantImpl
class	RDFLiteralConstantImpl
class	RDFTermTypeConstantImpl
class	VariableImpl

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

Modifier and Type	Method and Description
ImmutableExpression	TermFactoryImpl.getIsTrue(NonFunctionalTerm dbBooleanTerm)

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

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

Modifier and Type	Method and Description
ImmutableSubstitution<NonFunctionalTerm>	ImmutableSubstitution.getNonFunctionalTermFragment()

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

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

Modifier and Type	Method and Description
Optional<ImmutableSubstitution<NonFunctionalTerm>>	ImmutableUnificationTools.computeMGUS2(ImmutableSubstitution<NonFunctionalTerm> s1, ImmutableSubstitution<NonFunctionalTerm> s2) TODO: make it replace computeMGUS()
ImmutableSubstitution<NonFunctionalTerm>	AbstractImmutableSubstitutionImpl.getNonFunctionalTermFragment()

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

Modifier and Type	Method and Description
Optional<ImmutableSubstitution<NonFunctionalTerm>>	ImmutableUnificationTools.computeMGUS2(ImmutableSubstitution<NonFunctionalTerm> s1, ImmutableSubstitution<NonFunctionalTerm> s2) TODO: make it replace computeMGUS()
Optional<ImmutableSubstitution<NonFunctionalTerm>>	ImmutableUnificationTools.computeMGUS2(ImmutableSubstitution<NonFunctionalTerm> s1, ImmutableSubstitution<NonFunctionalTerm> s2) TODO: make it replace computeMGUS()