Uses of Interface
org.xmloperator.lambda2.term.model.Application

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