Package org.ginsim.servicegui.tool.dynamicanalyser

the state transition graph

See: Description

Class Summary

Class	Description
DynamicAnalyserPathModel	table model for the path constraint table.
DynamicAnalyserServiceGUI	offer some facilities to analyse the state transition graph.
DynamicPathItemCellRenderer	modified cell renderer to highlight states not in the graph
DynamicSearchPathConfig	UI to search a path in the dynamic graph.

Package org.ginsim.servicegui.tool.dynamicanalyser Description

the state transition graph