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

Packages that use NonGroundFunctionalTerm

Package	Description
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 NonGroundFunctionalTerm in it.unibz.inf.ontop.model.term

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

Modifier and Type	Method and Description
NonGroundFunctionalTerm	TermFactory.getNonGroundFunctionalTerm(FunctionSymbol functor, com.google.common.collect.ImmutableList<ImmutableTerm> terms)
NonGroundFunctionalTerm	TermFactory.getNonGroundFunctionalTerm(FunctionSymbol functor, ImmutableTerm... terms)

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

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

Modifier and Type	Class and Description
class	NonGroundExpressionImpl
class	NonGroundFunctionalTermImpl Constraint: should contain at least one variable

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

Modifier and Type	Method and Description
NonGroundFunctionalTerm	TermFactoryImpl.getNonGroundFunctionalTerm(FunctionSymbol functor, com.google.common.collect.ImmutableList<ImmutableTerm> terms)
NonGroundFunctionalTerm	TermFactoryImpl.getNonGroundFunctionalTerm(FunctionSymbol functor, ImmutableTerm... terms)

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

Modifier and Type	Method and Description
static void	GroundTermTools.checkNonGroundTermConstraint(NonGroundFunctionalTerm term)

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

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

Modifier and Type	Method and Description
ImmutableSubstitution<NonGroundFunctionalTerm>	ImmutableSubstitution.getNonGroundFunctionalTermFragment()

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

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

Modifier and Type	Method and Description
ImmutableSubstitution<NonGroundFunctionalTerm>	AbstractImmutableSubstitutionImpl.getNonGroundFunctionalTermFragment()