Package org.ginsim.gui.graph.dynamicgraph

Specialised GUI for the State Transition Graphs

See: Description

Interface Summary

Interface	Description
StateTableModel

Class Summary

Class	Description
DynamicGraphGUIHelper
DynamicItemAttributePanel	basic info on a vertex of the state transition graph (ie state of the system)
DynamicItemCellRenderer	custom cell renderer to colorize cells
DynamicItemModel	table model to display a dynamic node or edge.
StableTableModel	Simple table model to view stable state search results.
StateActionPanel
StateTransitionGraphEditor

Package org.ginsim.gui.graph.dynamicgraph Description

Specialised GUI for the State Transition Graphs