A C D E F G H I L M N O P R S T U V W

T

Term - interface org.xmloperator.lambda.tree.model.Term.
Namefree lambda-term.
TermFactory - interface org.xmloperator.lambda.tree.model.TermFactory.
Factory of Terms.
TermStack - interface org.xmloperator.lambda.tree.model.TermStack.
Term stack.
TermWithBody - interface org.xmloperator.lambda.tree.model.TermWithBody.
Term with body.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda.translate.Reducer
Reduce some redexes and display the results.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda.tree.util.AlphaUtils
Verify equality and unequality between some terms.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
Computes the size of some Expressions.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda.tree.generate.ChurchNumerals
Execute some operations using Church numerals.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda.tree.serialize.PrefixedSerializer
Serializes in and out some terms.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda.tree.reduction.TreeBetaUtils
Reduce some redexes and display the results.
test(PrintStream, boolean) - Static method in class org.xmloperator.lambda.tree.serialize.UsualSerializer
Serializes in and out some terms.
test(PrintStream, boolean, Term, String, int) - Static method in class org.xmloperator.lambda.tree.util.CommonTerms
 
top() - Method in interface org.xmloperator.lambda.net.model.WalkStack
Returns the Walk at the top of this stack or null if it is empty.
top() - Method in interface org.xmloperator.lambda.net.model.PortStack
Return the Port at the top or null is the stack is empty.
top() - Method in interface org.xmloperator.lambda.tree.model.TermStack
Returns the Term at the top of this stack or null if it is empty.
translate(Eraser, TermFactory, InteractionListener) - Static method in class org.xmloperator.lambda.translate.FromNetToTerm
Translate an interaction net to a Term.
translate(Term, Eraser) - Static method in class org.xmloperator.lambda.translate.FromTermToNet
Translate a closed Term to a lambda-net.
TreeBetaUtils - class org.xmloperator.lambda.tree.reduction.TreeBetaUtils.
Utilities about beta reduction.
TreeBetaUtils() - Constructor for class org.xmloperator.lambda.tree.reduction.TreeBetaUtils
 
TYPE_ABSTRACTION - Static variable in interface org.xmloperator.lambda.tree.model.Term
 
TYPE_ABSTRACTOR - Static variable in interface org.xmloperator.lambda.net.model.Operator
 
TYPE_ABSTRACTOR_BIND - Static variable in interface org.xmloperator.lambda.net.model.Port
 
TYPE_ABSTRACTOR_BODY - Static variable in interface org.xmloperator.lambda.net.model.Port
 
TYPE_ABSTRACTOR_INPUT - Static variable in interface org.xmloperator.lambda.net.model.Port
 
TYPE_APPLICATION - Static variable in interface org.xmloperator.lambda.tree.model.Term
 
TYPE_APPLICATOR - Static variable in interface org.xmloperator.lambda.net.model.Operator
 
TYPE_APPLICATOR_ARGUMENT - Static variable in interface org.xmloperator.lambda.net.model.Port
 
TYPE_APPLICATOR_BODY - Static variable in interface org.xmloperator.lambda.net.model.Port
 
TYPE_APPLICATOR_INPUT - Static variable in interface org.xmloperator.lambda.net.model.Port
 
TYPE_DELIMITER - Static variable in interface org.xmloperator.lambda.net.model.Operator
 
TYPE_DELIMITER_BODY - Static variable in interface org.xmloperator.lambda.net.model.Port
 
TYPE_DELIMITER_INPUT - Static variable in interface org.xmloperator.lambda.net.model.Port
 
TYPE_DUPLICATOR - Static variable in interface org.xmloperator.lambda.net.model.Operator
 
TYPE_DUPLICATOR_INPUT1 - Static variable in interface org.xmloperator.lambda.net.model.Port
 
TYPE_DUPLICATOR_INPUT2 - Static variable in interface org.xmloperator.lambda.net.model.Port
 
TYPE_DUPLICATOR_OUTPUT - Static variable in interface org.xmloperator.lambda.net.model.Port
 
TYPE_ENDOFSCOPE - Static variable in interface org.xmloperator.lambda.tree.model.Term
 
TYPE_ERASER - Static variable in interface org.xmloperator.lambda.net.model.Operator
 
TYPE_ERASER_PORT - Static variable in interface org.xmloperator.lambda.net.model.Port
 
TYPE_LEAF - Static variable in interface org.xmloperator.lambda.tree.model.Term
 

A C D E F G H I L M N O P R S T U V W