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
V
verifyClosure(Eraser)
- Static method in class org.xmloperator.lambda.net.util.
NetUtils
Verify the closure and the mark-homogeneity of a lambda-net.
verifyClosure(Term)
- Static method in class org.xmloperator.lambda.tree.util.
AlphaUtils
Verify that a Term is closed, i.e. there is no free variable in it.
verifyScopeExtrusion(Term)
- Static method in class org.xmloperator.lambda.tree.util.
AlphaUtils
Verify that all the EndOfScopes of a Term are extruded.
verifyWellFormedness(Term)
- Static method in class org.xmloperator.lambda.tree.util.
WellFormedness
Verify the well-formedness of a Term.
verifyXFree(Eraser)
- Static method in class org.xmloperator.lambda.net.util.
NetUtils
Verify that there is no reducable interaction other than beta and the root Eraser.
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