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
T
TABLE
- Static variable in class dpvis.output.
OutputElement
TABLE_LIST
- Static variable in class dpvis.output.
OutputElement
Term
- Interface in
dpvis.datastructures
Class modelling a term.
termIsEmbedded(Term, Term)
- Static method in class dpvis.datastructures.
UtilityFunctions
toString()
- Method in class dpvis.datastructures.
Pair
transform(RewriteSystem)
- Method in interface dpvis.transform.
TrsToTrsTransformation
Method that transforms a given Rewrite System into another one.
TrsToTrsTransformation
- Interface in
dpvis.transform
Interface for transformations of rewrite systems, e.g. conditional ones into unconditional ones etc.
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