Modifier and Type | Class and Description |
---|---|
class |
ResultsDialog
A small dialog to display a textarea with a close button.
|
Modifier and Type | Class and Description |
---|---|
class |
SearchFrame
This class provide a frame to search the nodes of a graph correponding to a certain pattern.
|
Modifier and Type | Class and Description |
---|---|
class |
HandledStackDialog |
class |
LogicalModelActionDialog |
class |
StackDialog
a generic stackable dialog.
|
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 |
CircuitFrame
configuration/status frame for circuit search/analyse
|
Modifier and Type | Class and Description |
---|---|
class |
CompositionConfigDialog
The composition dialog
|
Modifier and Type | Class and Description |
---|---|
class |
DecisionAnalysisFrame |
Modifier and Type | Class and Description |
---|---|
class |
GraphComparatorFrame |
Modifier and Type | Class and Description |
---|---|
class |
InteractionAnalysisFrame |
Modifier and Type | Class and Description |
---|---|
class |
LocalGraphFrame |
Modifier and Type | Class and Description |
---|---|
class |
ReductionConfigDialog |
Modifier and Type | Class and Description |
---|---|
class |
OmddVizFrame |
Modifier and Type | Class and Description |
---|---|
class |
PathFindingFrame |
Modifier and Type | Class and Description |
---|---|
class |
PolytopesVizFrame |
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 |
StateInRegGraphFrame
The main frame.
|
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.