Package | Description |
---|---|
org.ginsim.servicegui.export.nusmv | |
org.ginsim.servicegui.export.prism | |
org.ginsim.servicegui.export.sat | |
org.ginsim.servicegui.format.ginml | |
org.ginsim.servicegui.tool.avatar | |
org.ginsim.servicegui.tool.decisionanalysis | |
org.ginsim.servicegui.tool.reg2dyn |
find the state transition graph from the regulatory one
|
org.ginsim.servicegui.tool.reg2dyn.limitedSimulation | |
org.ginsim.servicegui.tool.stablestates | |
org.ginsim.servicegui.tool.trapspace |
Modifier and Type | Class and Description |
---|---|
class |
NuSMVExportConfigPanel |
Modifier and Type | Class and Description |
---|---|
class |
PRISMExportConfigPanel |
Modifier and Type | Class and Description |
---|---|
class |
SATExportConfigPanel |
Modifier and Type | Class and Description |
---|---|
class |
GINMLFormatConfigPanel |
Modifier and Type | Class and Description |
---|---|
class |
AvatarConfigFrame
Main panel for displaying the all of the context associated with avatar
simulations
|
class |
AvatarLogicalModelActionDialog
Class for managing contextual aspects associated with the main panel
(including the responsibility to update the applicable perturbations and
reductions to the input model)
|
Modifier and Type | Class and Description |
---|---|
class |
DecisionAnalysisFrame |
Modifier and Type | Class and Description |
---|---|
class |
BaseSimulationFrame |
class |
SingleSimulationFrame
The frame displayed to the user when he want to run a simulation
|
Modifier and Type | Class and Description |
---|---|
class |
LimitedSimulationFrame |
Modifier and Type | Class and Description |
---|---|
class |
StableStateSwingUI
A simple GUI to launch stable states search and view the result
|
Modifier and Type | Class and Description |
---|---|
class |
TrapSpaceSwingUI
A simple GUI to launch the identification of trap-spaces and view the result.
|
Copyright © 2005–2020. All rights reserved.