|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Package mocman.interpreter |
---|
Class mocman.interpreter.Gui extends java.awt.Frame implements Serializable |
---|
Package mocman.util.awt |
---|
Class mocman.util.awt.GraphPrinter extends java.awt.Canvas implements Serializable |
---|
Serialized Fields |
---|
Graph<TN,TE> graph
int nodewidth
int ww
int wh
boolean autosize
boolean modw
int selectedNode
int selectedEdge
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |