Serialized Form


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

Graph<TN,TE> graph

nodewidth

int nodewidth

ww

int ww

wh

int wh

autosize

boolean autosize

modw

boolean modw

selectedNode

int selectedNode

selectedEdge

int selectedEdge