org.deri.iris.api.terms
Interface IConstructedTerm

All Superinterfaces:

Comparable<ITerm>, ITerm

All Known Implementing Classes:

ConstructedTerm

public interface IConstructedTerm
extends ITerm

An interface for representing a constructed term (function symbol). A constructed term is a term built from function-s and subter-s.

Author:

Darko Anicic, DERI Innsbruck

Method Summary

String	getFunctionSymbol() Get the name of the constructed term (function symbol).
List<ITerm>	getParameters() Returns a list of all terms from this constructed term (function symbol).
List<ITerm>	getValue() Returns a vale of the term.
Set<IVariable>	getVariables() Returns all distinct variables from this tuple.

Methods inherited from interface org.deri.iris.api.terms.ITerm

isGround

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getValue

List<ITerm> getValue()

Description copied from interface: ITerm

Returns a vale of the term.

Specified by:

getValue in interface ITerm

Returns:

The term value.

getFunctionSymbol

String getFunctionSymbol()

Get the name of the constructed term (function symbol).

Returns:

The name of the constructed term.

getParameters

List<ITerm> getParameters()

Returns a list of all terms from this constructed term (function symbol).

Returns:

List of all terms from this constructed term.

getVariables

Set<IVariable> getVariables()

Returns all distinct variables from this tuple.

Returns:

All distinct variables from this tuple.