Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W