|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |