it.unibz.inf.ontop.model.term

Interface Function

All Superinterfaces:

Serializable, Term

All Known Subinterfaces:

Expression, ListenableFunction

All Known Implementing Classes:

AbstractFunctionalTerm, ExpressionImpl, FunctionalTermImpl

public interface Function
extends Term

This class defines a type of Term in which it denotes a mapping of one or more elements in a set (called the domain of the function) into a unique element of another set (the range of the function).

A function expression is a function symbol followed by its arguments. The arguments are elements from the domain of the function; the number of arguments is equal to the arity of the function. The arguments are enclosed in parentheses and separated by commas, e.g.,

f(X,Y)
father(david)
price(apple)


are all well-formed function expressions.

Method Summary

Modifier and Type	Method and Description
boolean	containsTerm(Term t)
int	getArity() Get the number of terms (or arguments) in the function symbol.
Predicate	getFunctionSymbol() Get the function symbol.
Term	getTerm(int index)
List<Term>	getTerms() Get a list of terms (or arguments) that are contained in the function symbol.
Set<Variable>	getVariables()
boolean	isDataFunction()
boolean	isDataTypeFunction() Deprecated.
boolean	isOperation()
void	setPredicate(Predicate p)
void	setTerm(int index, Term term)
void	updateTerms(List<Term> literals)

Methods inherited from interface it.unibz.inf.ontop.model.term.Term

clone

Method Detail

getTerms

List<Term> getTerms()

Get a list of terms (or arguments) that are contained in the function symbol.

Returns:

a list of terms.

getFunctionSymbol

Predicate getFunctionSymbol()

Get the function symbol.

Returns:

the predicate object.

getArity

int getArity()

Get the number of terms (or arguments) in the function symbol.

Returns:

the arity.

getTerm

Term getTerm(int index)

setTerm

void setTerm(int index,
             Term term)

updateTerms

void updateTerms(List<Term> literals)

setPredicate

void setPredicate(Predicate p)

containsTerm

boolean containsTerm(Term t)

isDataFunction

boolean isDataFunction()

isOperation

boolean isOperation()

isDataTypeFunction

@Deprecated
boolean isDataTypeFunction()

Deprecated.

getVariables

Set<Variable> getVariables()