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

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.