|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Application | |
org.xmloperator.lambda2.term.impl | |
org.xmloperator.lambda2.term.model | |
org.xmloperator.lambda2.term.util |
Uses of Application in org.xmloperator.lambda2.term.impl |
Classes in org.xmloperator.lambda2.term.impl that implement Application | |
class |
Application1Impl
Application implementation. |
class |
ApplicationNImpl
Application with function exponent implementation. |
Methods in org.xmloperator.lambda2.term.impl that return Application | |
Application |
TermImpl.buildApplication(Term argument)
|
Application |
TermImpl.buildApplication(Term argument,
long functionExponent)
|
Uses of Application in org.xmloperator.lambda2.term.model |
Methods in org.xmloperator.lambda2.term.model that return Application | |
Application |
Term.buildApplication(Term argument)
Builds and returns an Application whose function is this Term and the argument is given. |
Application |
Term.buildApplication(Term argument,
long functionExponent)
Builds and returns an Application whose function is this Term and the argument is given. |
Uses of Application in org.xmloperator.lambda2.term.util |
Fields in org.xmloperator.lambda2.term.util declared as Application | |
static Application |
Base2Numerals.SUCCESSOR
Term that represents the function that returns the successor of the value of the argument. |
static Application |
Base2Numerals.THREE_N_PLUS_R
Term that represents the function g(n, r) = 3 * n + r, with r = 0, 1 or 2. |
static Application |
CommonTerms.TETA
Term (\x1x2.x2(x1x1x2))\x1x2.x2(x1x1x2) |
static Application |
CommonTerms.OMEGA
Term (\x1.x1x1)\x1.x1x1 |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |