Uses of Interface
org.xmloperator.lambda.tree.model.Application

Packages that use Application
org.xmloperator.lambda.tree.model   
org.xmloperator.lambda.tree.reduction   
org.xmloperator.lambda.tree.serialize   
org.xmloperator.lambda.tree.util   
 

Uses of Application in org.xmloperator.lambda.tree.model
 

Methods in org.xmloperator.lambda.tree.model that return Application
 Application TermFactory.createApplication()
          Create an Application, with no parent and no content.
 

Uses of Application in org.xmloperator.lambda.tree.reduction
 

Methods in org.xmloperator.lambda.tree.reduction that return Application
static Application TreeBetaUtils.leftermostOutermostRedex(Term rootTerm)
          Returns the leftermost-outermost redex of a Term or null if the Term has no redex.
 

Methods in org.xmloperator.lambda.tree.reduction with parameters of type Application
 void ReductionListener.notifyStartReduction(Application redex)
          Notify the starting of a reduction.
static Term TreeBetaUtils.reduce(Application redex)
          Reduces a redex.
 

Uses of Application in org.xmloperator.lambda.tree.serialize
 

Methods in org.xmloperator.lambda.tree.serialize with parameters of type Application
 void Serializer.underlineRedex(java.io.PrintWriter out, Term term, Application underlinedRedex)
          Writes a string value that underline a redex.
 void PrefixedSerializer.underlineRedex(java.io.PrintWriter out, Term rootTerm, Application underlinedRedex)
           
 void UsualSerializer.underlineRedex(java.io.PrintWriter out, Term rootTerm, Application underlinedRedex)
           
 

Uses of Application in org.xmloperator.lambda.tree.util
 

Methods in org.xmloperator.lambda.tree.util that return Application
static Application CommonTerms.newLoop(TermFactory termFactory)
          Creates and returns an Application that maps to "cvv".
static Application CommonTerms.newOmega(TermFactory termFactory)
          Creates and returns an Application that maps to "cDD".
static Application CommonTerms.newTeta(TermFactory termFactory)
          Creates and returns an Application that maps to "cVV".
static Application FactoryUtils.newApplication(Term body, Term argument)
          Creates and returns a new Application.
 

Methods in org.xmloperator.lambda.tree.util with parameters of type Application
static boolean CommonTerms.isLoop(Application application)
          Return true if the given Application maps to "cvv".
static boolean CommonTerms.isOmega(Application application)
          Return true if the given Application is an Omega Term.