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

Packages that use Function

Package	Description
it.unibz.inf.ontop.datalog
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.impl
it.unibz.inf.ontop.substitution
it.unibz.inf.ontop.substitution.impl

Uses of Function in it.unibz.inf.ontop.datalog

Subinterfaces of Function in it.unibz.inf.ontop.datalog

Modifier and Type	Interface and Description
interface	ListenableFunction For mutable Function (yes, it exists...) This practice should be stopped in the future.

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

Methods in it.unibz.inf.ontop.model.atom that return Function

Modifier and Type	Method and Description
Function	AtomFactory.getMutableTripleAtom(Term subject, Term predicate, Term object)
Function	AtomFactory.getMutableTripleBodyAtom(Term subject, org.apache.commons.rdf.api.IRI classIRI) In the body, constant IRIs are currently wrapped into a URI function but in the future they will not
Function	AtomFactory.getMutableTripleBodyAtom(Term subject, org.apache.commons.rdf.api.IRI propertyIRI, Term object) In the body, constant IRIs are currently wrapped into a URI function but in the future they will not
Function	AtomFactory.getMutableTripleHeadAtom(Term subject, org.apache.commons.rdf.api.IRI classIRI) In the head, constant IRIs are wrapped into a URI function
Function	AtomFactory.getMutableTripleHeadAtom(Term subject, org.apache.commons.rdf.api.IRI propertyIRI, Term object) In the head, constant IRIs are wrapped into a URI function

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

Methods in it.unibz.inf.ontop.model.atom.impl that return Function

Modifier and Type	Method and Description
Function	AtomFactoryImpl.getMutableTripleAtom(Term subject, Term property, Term object)
Function	AtomFactoryImpl.getMutableTripleBodyAtom(Term subject, org.apache.commons.rdf.api.IRI classIRI)
Function	AtomFactoryImpl.getMutableTripleBodyAtom(Term subject, org.apache.commons.rdf.api.IRI propertyIRI, Term object)
Function	AtomFactoryImpl.getMutableTripleHeadAtom(Term subject, org.apache.commons.rdf.api.IRI classIRI)
Function	AtomFactoryImpl.getMutableTripleHeadAtom(Term subject, org.apache.commons.rdf.api.IRI propertyIRI, Term object)

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

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

Modifier and Type	Interface and Description
interface	Expression An expression has an Operation predicate.

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

Modifier and Type	Method and Description
Function	TermFactory.getFunction(Predicate functor, List<Term> terms)
Function	TermFactory.getFunction(Predicate functor, Term... terms) Construct a Function object.
Function	TermFactory.getRDFLiteralMutableFunctionalTerm(Term lexicalTerm, RDFDatatype type)

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

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

Modifier and Type	Class and Description
class	AbstractFunctionalTerm Abstract implementation that can reasonably be shared because an immutable and a crazy implementation.
class	ExpressionImpl
class	FunctionalTermImpl TODO: rename ListenableFunctionImpl Please consider using ImmutableFunctionalTermImpl instead.

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

Modifier and Type	Method and Description
Function	FunctionalTermImpl.clone()
Function	AbstractFunctionalTerm.clone()
Function	ImmutabilityTools.convertToMutableFunction(DataAtom dataAtom)
Function	ImmutabilityTools.convertToMutableFunction(ImmutableFunctionalTerm functionalTerm) This method takes a immutable term and convert it into an old mutable function.
Function	ImmutabilityTools.convertToMutableFunction(Predicate predicateOrFunctionSymbol, com.google.common.collect.ImmutableList<? extends ImmutableTerm> terms)
Function	TermFactoryImpl.getFunction(Predicate functor, List<Term> arguments)
Function	TermFactoryImpl.getFunction(Predicate functor, Term... arguments)
Function	TermFactoryImpl.getRDFLiteralMutableFunctionalTerm(Term lexicalTerm, RDFDatatype type)

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

Modifier and Type	Method and Description
static void	TermUtils.addReferencedVariablesTo(Collection<Variable> vars, Function f)

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

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

Modifier and Type	Method and Description
boolean	Substitution.composeFunctions(Function term1, Function term2) Composes two functional terms.

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

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

Modifier and Type	Method and Description
static void	SubstitutionUtilities.applySubstitution(Function atom, Substitution unifier) Applies the substitution to all the terms in the list.
static void	SubstitutionUtilities.applySubstitution(Function atom, Substitution unifier, int fromIndex)
boolean	SingletonSubstitution.composeFunctions(Function term1, Function term2) Deprecated.
boolean	SubstitutionImpl.composeFunctions(Function first, Function second)
Substitution	UnifierUtilities.getMGU(Function first, Function second) Computes the Most General Unifier (MGU) for two n-ary atoms.