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
R
readTerm(Reader, TermFactory)
- Method in interface org.xmloperator.lambda.tree.serialize.
Serializer
Produces a Term from a previous serialization.
readTerm(Reader, TermFactory)
- Method in class org.xmloperator.lambda.tree.serialize.
PrefixedSerializer
readTerm(Reader, TermFactory)
- Method in class org.xmloperator.lambda.tree.serialize.
UsualSerializer
reduce(Application)
- Static method in class org.xmloperator.lambda.tree.reduction.
TreeBetaUtils
Reduces a redex.
reduce(Eraser, Applicator, InteractionListener)
- Static method in class org.xmloperator.lambda.net.reduction.
NetBetaUtils
Reduce a beta interaction and apply the x-rules.
reduceDeeply(Term, OperatorFactory, InteractionListener, ReductionListener)
- Static method in class org.xmloperator.lambda.translate.
Reducer
Reduces a term until the normal form, if possible.
reduceDeeply(Term, ReductionListener)
- Static method in class org.xmloperator.lambda.tree.reduction.
TreeBetaUtils
Reduces a Term until a normal form is obtained.
reduceDeeply(WalkingContext, InteractionListener, ReductionListener)
- Static method in class org.xmloperator.lambda.net.reduction.
NetBetaUtils
Reduce a lambda-net until a normal form is obtained or an exception is throwed.
Reducer
- class org.xmloperator.lambda.translate.
Reducer
.
Reduces a term using a translation to a lambda-net.
Reducer()
- Constructor for class org.xmloperator.lambda.translate.
Reducer
ReductionListener
- interface org.xmloperator.lambda.tree.reduction.
ReductionListener
.
Listener about beta-reduction process.
ReductionListener
- interface org.xmloperator.lambda.net.reduction.
ReductionListener
.
Listener about beta-reduction process.
remove(Operator)
- Method in interface org.xmloperator.lambda.net.model.
OperatorList
Remove an Operator from this list.
remove(Port)
- Method in interface org.xmloperator.lambda.net.model.
PortStack
Removes a Port from this stack.
removeFromTop(int)
- Method in interface org.xmloperator.lambda.net.model.
WalkStack
Removes and returns the Walk at a given top relative index in the stack.
replace(int, Port)
- Method in interface org.xmloperator.lambda.net.model.
PortStack
Replace the Port at a given root relative index in the stack.
returnNetToFactory(Eraser)
- Static method in class org.xmloperator.lambda.translate.
FromNetToTerm
Returns a lambda-net to the factory.
returnTerm(Term)
- Static method in class org.xmloperator.lambda.tree.util.
FactoryUtils
Return a Term and its content to the factory.
returnToFactory()
- Method in interface org.xmloperator.lambda.net.model.
WalkStack
Return this stack to the Factory.
returnToFactory()
- Method in interface org.xmloperator.lambda.net.model.
Walk
Return this to its Factory.
returnToFactory()
- Method in interface org.xmloperator.lambda.net.model.
ScopeBinder
Return this ScopeBinder to the Factory.
returnToFactory()
- Method in interface org.xmloperator.lambda.net.model.
PortStack
Return this PortStack to the Factory.
returnToFactory()
- Method in interface org.xmloperator.lambda.net.model.
Operator
Returns this to its Factory.
returnToFactory()
- Method in interface org.xmloperator.lambda.tree.model.
TermStack
Returns this TermStack to the Factory.
returnToFactory()
- Method in interface org.xmloperator.lambda.tree.model.
Term
Returns this Term to its Factory.
returnToRoot()
- Method in interface org.xmloperator.lambda.net.util.
WalkingContext
Returns to the root Eraser.
reverseOrientation()
- Method in interface org.xmloperator.lambda.net.model.
Delimiter
Reverse the orientation of the principal Port and clear the index.
reverseOrientation()
- Method in interface org.xmloperator.lambda.net.model.
Applicator
Reverses the orientation of the principal Port.
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