Uses of Class
org.ginsim.gui.service.StandaloneGUI

Packages that use StandaloneGUI

Package	Description
org.ginsim.servicegui.export.cadp
org.ginsim.servicegui.export.nusmv
org.ginsim.servicegui.export.petrinet
org.ginsim.servicegui.export.prism
org.ginsim.servicegui.export.sat
org.ginsim.servicegui.tool.dataviewer
org.ginsim.servicegui.tool.decisionanalysis
org.ginsim.servicegui.tool.dynamicanalyser	the state transition graph
org.ginsim.servicegui.tool.omddViz
org.ginsim.servicegui.tool.pathfinding
org.ginsim.servicegui.tool.polytopesViz
org.ginsim.servicegui.tool.reg2dyn.limitedSimulation
org.ginsim.servicegui.tool.regulatorygraphanimation	animate the regulatory graph (by simply changing nodes and edge's colors) according to a path/state in the state transition graph.
org.ginsim.servicegui.tool.regulatorytreefunction
org.ginsim.servicegui.tool.stateinregulatorygraph

Uses of StandaloneGUI in org.ginsim.servicegui.export.cadp

Classes in org.ginsim.servicegui.export.cadp with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	CADPExportServiceGUI CADP Export Service

Uses of StandaloneGUI in org.ginsim.servicegui.export.nusmv

Classes in org.ginsim.servicegui.export.nusmv with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	NuSMVExportServiceGUI GUI Action to export a NuSMV model description

Uses of StandaloneGUI in org.ginsim.servicegui.export.petrinet

Classes in org.ginsim.servicegui.export.petrinet with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	PetriNetExportServiceGUI GUI Action to export a LRG into Petri net

Uses of StandaloneGUI in org.ginsim.servicegui.export.prism

Classes in org.ginsim.servicegui.export.prism with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	PRISMExportServiceGUI GUI Action to export a PRISM model description

Uses of StandaloneGUI in org.ginsim.servicegui.export.sat

Classes in org.ginsim.servicegui.export.sat with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	SATExportServiceGUI GINsim export service capable of encoding the model properties into a SAT specification in CNF.

Uses of StandaloneGUI in org.ginsim.servicegui.tool.dataviewer

Classes in org.ginsim.servicegui.tool.dataviewer with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	DataViewerServiceGUI GUI to view the associated objects.

Uses of StandaloneGUI in org.ginsim.servicegui.tool.decisionanalysis

Classes in org.ginsim.servicegui.tool.decisionanalysis with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	DecisionAnalysisServiceGUI

Uses of StandaloneGUI in org.ginsim.servicegui.tool.dynamicanalyser

Classes in org.ginsim.servicegui.tool.dynamicanalyser with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	DynamicAnalyserServiceGUI offer some facilities to analyse the state transition graph.

Uses of StandaloneGUI in org.ginsim.servicegui.tool.omddViz

Classes in org.ginsim.servicegui.tool.omddViz with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	OmddVizServiceGUI

Uses of StandaloneGUI in org.ginsim.servicegui.tool.pathfinding

Classes in org.ginsim.servicegui.tool.pathfinding with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	PathFindingServiceGUI

Uses of StandaloneGUI in org.ginsim.servicegui.tool.polytopesViz

Classes in org.ginsim.servicegui.tool.polytopesViz with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	PolytopesVizServiceGUI

Uses of StandaloneGUI in org.ginsim.servicegui.tool.reg2dyn.limitedSimulation

Classes in org.ginsim.servicegui.tool.reg2dyn.limitedSimulation with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	LimitedSimulationServiceGUI

Uses of StandaloneGUI in org.ginsim.servicegui.tool.regulatorygraphanimation

Classes in org.ginsim.servicegui.tool.regulatorygraphanimation with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	RegulatoryGraphAnimationServiceGUI register the aRegGraph plugin: animate the regulatory graph according to a path in the associated state transition graph.

Uses of StandaloneGUI in org.ginsim.servicegui.tool.regulatorytreefunction

Classes in org.ginsim.servicegui.tool.regulatorytreefunction with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	RegulatoryFunctionTreeServiceGUI

Uses of StandaloneGUI in org.ginsim.servicegui.tool.stateinregulatorygraph

Classes in org.ginsim.servicegui.tool.stateinregulatorygraph with annotations of type StandaloneGUI

Modifier and Type	Class and Description
class	StateInRegulatoryGraphServiceGUI