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
U
underlineRedex(PrintWriter, Term, Application)
- Method in interface org.xmloperator.lambda.tree.serialize.
Serializer
Writes a string value that underline a redex.
underlineRedex(PrintWriter, Term, Application)
- Method in class org.xmloperator.lambda.tree.serialize.
PrefixedSerializer
underlineRedex(PrintWriter, Term, Application)
- Method in class org.xmloperator.lambda.tree.serialize.
UsualSerializer
underlineTerm(PrintWriter, Term, Term)
- Method in interface org.xmloperator.lambda.tree.serialize.
Serializer
Writes a string value that underline a sub-Term.
underlineTerm(PrintWriter, Term, Term)
- Method in class org.xmloperator.lambda.tree.serialize.
PrefixedSerializer
underlineTerm(PrintWriter, Term, Term)
- Method in class org.xmloperator.lambda.tree.serialize.
UsualSerializer
UsualSerializer
- class org.xmloperator.lambda.tree.serialize.
UsualSerializer
.
Usual Expression serializer, convenient for a human reader.
UsualSerializer(boolean)
- Constructor for class org.xmloperator.lambda.tree.serialize.
UsualSerializer
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