org.xmloperator.lambda2.term.model
Interface Application

All Superinterfaces:
Term
All Known Implementing Classes:
Application1Impl

public interface Application
extends Term

Application of a function to an argument.


Field Summary
 
Fields inherited from interface org.xmloperator.lambda2.term.model.Term
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE
 
Method Summary
 Term getArgument()
          Returns the argument of this Application.
 Term getFunction()
          Returns the function of this Application.
 long getFunctionExponent()
          Returns the function exponent.
 
Methods inherited from interface org.xmloperator.lambda2.term.model.Term
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, getTermType, isAbstraction, isApplication, isVariable, toText
 

Method Detail

getFunction

public Term getFunction()
Returns the function of this Application.

Returns:
the function of this Application.

getArgument

public Term getArgument()
Returns the argument of this Application.

Returns:
the argument of this Application.

getFunctionExponent

public long getFunctionExponent()
Returns the function exponent. Optional feature. Default value is 1L.

Returns:
the function exponent. Optional feature. Default value is 1L.