|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Term | |
org.xmloperator.lambda.translate | |
org.xmloperator.lambda.tree.model | |
org.xmloperator.lambda.tree.reduction | |
org.xmloperator.lambda.tree.serialize | |
org.xmloperator.lambda.tree.util |
Uses of Term in org.xmloperator.lambda.translate |
Methods in org.xmloperator.lambda.translate that return Term | |
static Term |
FromNetToTerm.translate(Eraser rootEraser,
TermFactory termFactory,
org.xmloperator.lambda.net.util.InteractionListener interactionListener)
Translate an interaction net to a Term. |
static Term |
Reducer.reduceDeeply(Term rootTerm,
OperatorFactory operatorFactory,
org.xmloperator.lambda.net.util.InteractionListener interactionListener,
org.xmloperator.lambda.net.reduction.ReductionListener redexListener)
Reduces a term until the normal form, if possible. |
Term |
WalkingContextTranslater.getCurrentTerm()
Depending on the currently leaved Port, returns the following Term : Abstractor.Body -> Abstraction Abstractor.Bind -> EndOfSCope or Leaf Abstractor.Input -> Abstraction Applicator.Body -> Application Applicator.Argument -> Application Applicator.Input -> Application Delimitor.Principal -> null Delimitor.Auxiliary -> null Duplicator.Output -> null Duplicator.Input -> null Eraser.Port -> null |
Methods in org.xmloperator.lambda.translate with parameters of type Term | |
static Term |
Reducer.reduceDeeply(Term rootTerm,
OperatorFactory operatorFactory,
org.xmloperator.lambda.net.util.InteractionListener interactionListener,
org.xmloperator.lambda.net.reduction.ReductionListener redexListener)
Reduces a term until the normal form, if possible. |
void |
WalkingContextTranslater.setRootTerm(Term rootTerm)
Set the root Term. |
static void |
FromTermToNet.translate(Term rootTerm,
Eraser rootEraser)
Translate a closed Term to a lambda-net. |
Uses of Term in org.xmloperator.lambda.tree.model |
Subinterfaces of Term in org.xmloperator.lambda.tree.model | |
interface |
Abstraction
Abstraction Term. |
interface |
Application
Application Term. |
interface |
EndOfScope
Term with end-of-scope role. |
interface |
Leaf
Leaf term in a namefree lambda-term. |
interface |
TermWithBody
Term with body. |
Methods in org.xmloperator.lambda.tree.model that return Term | |
Term |
TermWithBody.getBody()
Returns the body of this Term. |
Term |
TermStack.pop()
Returns the Term at the top and pops this stack. |
Term |
TermStack.top()
Returns the Term at the top of this stack or null if it is empty. |
Term |
Application.getArgument()
Returns the argument Term of this Application. |
Methods in org.xmloperator.lambda.tree.model with parameters of type Term | |
void |
TermWithBody.setBody(Term body)
Set the body of this Term. |
boolean |
TermStack.contains(Term term)
Return true if the stack contains the given Term. |
void |
TermStack.push(Term term)
Push a Term at the top of this stack. |
void |
Application.setArgument(Term argument)
Set the argument of this Application. |
Uses of Term in org.xmloperator.lambda.tree.reduction |
Methods in org.xmloperator.lambda.tree.reduction that return Term | |
static Term |
TreeBetaUtils.reduce(Application redex)
Reduces a redex. |
static Term |
TreeBetaUtils.reduceDeeply(Term rootTerm,
org.xmloperator.lambda.tree.reduction.ReductionListener reductionListener)
Reduces a Term until a normal form is obtained. |
Methods in org.xmloperator.lambda.tree.reduction with parameters of type Term | |
void |
ReductionListener.notifyEndReduction(Term resultingTerm)
Notify the end of a reduction. |
static Application |
TreeBetaUtils.leftermostOutermostRedex(Term rootTerm)
Returns the leftermost-outermost redex of a Term or null if the Term has no redex. |
static Term |
TreeBetaUtils.reduceDeeply(Term rootTerm,
org.xmloperator.lambda.tree.reduction.ReductionListener reductionListener)
Reduces a Term until a normal form is obtained. |
Uses of Term in org.xmloperator.lambda.tree.serialize |
Methods in org.xmloperator.lambda.tree.serialize that return Term | |
Term |
Serializer.readTerm(java.io.Reader in,
TermFactory termFactory)
Produces a Term from a previous serialization. |
Term |
PrefixedSerializer.readTerm(java.io.Reader reader,
TermFactory termFactory)
|
Term |
UsualSerializer.readTerm(java.io.Reader reader,
TermFactory termFactory)
|
Methods in org.xmloperator.lambda.tree.serialize with parameters of type Term | |
void |
Serializer.writeTerm(java.io.PrintWriter out,
Term term)
Writes a Term. |
void |
Serializer.underlineTerm(java.io.PrintWriter out,
Term term,
Term underlinedTerm)
Writes a string value that underline a sub-Term. |
void |
Serializer.underlineTerm(java.io.PrintWriter out,
Term term,
Term underlinedTerm)
Writes a string value that underline a sub-Term. |
void |
Serializer.underlineRedex(java.io.PrintWriter out,
Term term,
Application underlinedRedex)
Writes a string value that underline a redex. |
void |
PrefixedSerializer.writeTerm(java.io.PrintWriter out,
Term rootTerm)
|
void |
PrefixedSerializer.underlineTerm(java.io.PrintWriter out,
Term rootTerm,
Term underlinedTerm)
|
void |
PrefixedSerializer.underlineTerm(java.io.PrintWriter out,
Term rootTerm,
Term underlinedTerm)
|
void |
PrefixedSerializer.underlineRedex(java.io.PrintWriter out,
Term rootTerm,
Application underlinedRedex)
|
void |
UsualSerializer.writeTerm(java.io.PrintWriter out,
Term rootTerm)
|
void |
UsualSerializer.underlineTerm(java.io.PrintWriter out,
Term rootTerm,
Term underlinedTerm)
|
void |
UsualSerializer.underlineTerm(java.io.PrintWriter out,
Term rootTerm,
Term underlinedTerm)
|
void |
UsualSerializer.underlineRedex(java.io.PrintWriter out,
Term rootTerm,
Application underlinedRedex)
|
Uses of Term in org.xmloperator.lambda.tree.util |
Methods in org.xmloperator.lambda.tree.util that return Term | |
static Term |
AlphaUtils.clone(Term rootTerm)
Clones a Term. |
static Term |
AlphaUtils.normalizedClone(Term rootTerm)
Create a normalized clone, whose all internal EndOfScopes are extruded. |
static Term |
FactoryUtils.newLeaf(TermFactory termFactory,
int endOfScopeCount)
Creates and returns a Leaf contained in a sequence of EndOfScopes. |
Methods in org.xmloperator.lambda.tree.util with parameters of type Term | |
static Abstraction |
AlphaUtils.matchingAbstraction(Term variable)
Returns the Abstraction matching a given variable. |
static int |
AlphaUtils.abstractionIndex(Term rootTerm,
Abstraction abstraction)
Returns the index of an Abstraction within a Term. |
static void |
AlphaUtils.verifyClosure(Term rootTerm)
Verify that a Term is closed, i.e. there is no free variable in it. |
static boolean |
AlphaUtils.strictlyEquals(Term rootTerm1,
Term rootTerm2)
Evaluates the strict-equivalence of two Terms. |
static boolean |
AlphaUtils.strictlyEquals(Term rootTerm1,
Term rootTerm2)
Evaluates the strict-equivalence of two Terms. |
static boolean |
AlphaUtils.alphaEquals(Term rootTerm1,
Term rootTerm2)
Evaluates the alpha-equivalence of two closed Terms. |
static boolean |
AlphaUtils.alphaEquals(Term rootTerm1,
Term rootTerm2)
Evaluates the alpha-equivalence of two closed Terms. |
static Term |
AlphaUtils.clone(Term rootTerm)
Clones a Term. |
static void |
AlphaUtils.verifyScopeExtrusion(Term rootTerm)
Verify that all the EndOfScopes of a Term are extruded. |
static Term |
AlphaUtils.normalizedClone(Term rootTerm)
Create a normalized clone, whose all internal EndOfScopes are extruded. |
static Abstraction |
CommonTerms.newNullAbstraction(Term body)
Creates and returns an Abstraction that is immediatly followed by an EndOfScope on itself. |
static boolean |
CommonTerms.test(java.io.PrintStream out,
boolean isVerbose,
Term term,
java.lang.String name,
int size)
|
static void |
WellFormedness.verifyWellFormedness(Term rootTerm)
Verify the well-formedness of a Term. |
static EndOfScope |
FactoryUtils.newEndOfScope(Term body)
Creates and returns a new EndOfScope. |
static Abstraction |
FactoryUtils.newAbstraction(Term body)
Creates and returns a new Abstraction. |
static Application |
FactoryUtils.newApplication(Term body,
Term argument)
Creates and returns a new Application. |
static Application |
FactoryUtils.newApplication(Term body,
Term argument)
Creates and returns a new Application. |
static void |
FactoryUtils.returnTerm(Term rootTerm)
Return a Term and its content to the factory. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |