Modifier and Type | Class and Description |
---|---|
class |
FormatSupportServiceGUI<S extends FormatSupportService>
Generic GUI integration service for formats providers.
|
class |
SimpleServiceGUI<S extends Service> |
Modifier and Type | Class and Description |
---|---|
class |
CADPExportServiceGUI
CADP Export Service
|
Modifier and Type | Class and Description |
---|---|
class |
LRGDocumentationServiceGUI
GenericDocumentExport is a plugin to export the documentation of a model into multiples document format.
|
Modifier and Type | Class and Description |
---|---|
class |
ImageExportServiceGUI
GUI integration of the PNG and SVG exports.
|
Modifier and Type | Class and Description |
---|---|
class |
MaBoSSExportServiceGUI
GUI Action to export model to the MaBoSS format
|
Modifier and Type | Class and Description |
---|---|
class |
NuSMVExportServiceGUI
GUI Action to export a NuSMV model description
|
Modifier and Type | Class and Description |
---|---|
class |
PetriNetExportServiceGUI
GUI Action to export a LRG into Petri net
|
Modifier and Type | Class and Description |
---|---|
class |
PRISMExportServiceGUI
GUI Action to export a PRISM model description
|
Modifier and Type | Class and Description |
---|---|
class |
RegGraphExportServiceGUI
GUI Action to export the regulatory graph interactions and corresponding
signs.
|
Modifier and Type | Class and Description |
---|---|
class |
SATExportServiceGUI
GINsim export service capable of encoding the model properties into a SAT
specification in CNF.
|
Modifier and Type | Class and Description |
---|---|
class |
GraphStructureExportServiceGUI
Export service to struct format
|
Modifier and Type | Class and Description |
---|---|
class |
BoolNetFormatServiceGUI
GUI Action to export model to the BoolNet format
|
class |
BoolsimFormatServiceGUI
GUI Action to export model to the boolsim format
|
class |
CNetFormatServiceGUI
GUI Action to export model to the CNET format
|
class |
GNAFormatServiceGUI
GUI Action to export model to the GNA (non-xml) format
|
class |
TruthTableFormatServiceGUI
GUI Action to import create a model specified in the TruthTable format
|
Modifier and Type | Class and Description |
---|---|
class |
GINMLFormatServiceGUI
GINsim export service GUI for the GINML (model-only) format.
|
Modifier and Type | Class and Description |
---|---|
class |
SBMLqualServiceGUI |
Modifier and Type | Class and Description |
---|---|
class |
LayoutServiceGUI |
Modifier and Type | Class and Description |
---|---|
class |
AvatarServiceGUI
GUI for the avatar simulation services
|
Modifier and Type | Class and Description |
---|---|
class |
CircuitServiceGUI
main method for the circuit service
|
Modifier and Type | Class and Description |
---|---|
class |
CompositionServiceGUI
Register the Composition Service
|
Modifier and Type | Class and Description |
---|---|
class |
DataViewerServiceGUI
GUI to view the associated objects.
|
Modifier and Type | Class and Description |
---|---|
class |
DecisionAnalysisServiceGUI |
Modifier and Type | Class and Description |
---|---|
class |
DynamicAnalyserServiceGUI
offer some facilities to analyse the state transition graph.
|
Modifier and Type | Class and Description |
---|---|
class |
GraphComparatorServiceGUI |
Modifier and Type | Class and Description |
---|---|
class |
InteractionAnalysisServiceGUI |
Modifier and Type | Class and Description |
---|---|
class |
LocalGraphServiceGUI |
Modifier and Type | Class and Description |
---|---|
class |
ModelBooleanizerServiceGUI
Main method to Booleanize a Multivalued model
|
Modifier and Type | Class and Description |
---|---|
class |
ReductionServiceGUI
main method for the model simplification plugin
|
Modifier and Type | Class and Description |
---|---|
class |
ModelReversionServiceGUI
Main method for the model reversion plugin
|
Modifier and Type | Class and Description |
---|---|
class |
OmddVizServiceGUI |
Modifier and Type | Class and Description |
---|---|
class |
PathFindingServiceGUI |
Modifier and Type | Class and Description |
---|---|
class |
PolytopesVizServiceGUI |
Modifier and Type | Class and Description |
---|---|
class |
Reg2DynServiceGUI
main method for the reg2dyn plugin
|
Modifier and Type | Class and Description |
---|---|
class |
LimitedSimulationServiceGUI |
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.
|
Modifier and Type | Class and Description |
---|---|
class |
RegulatoryFunctionTreeServiceGUI |
Modifier and Type | Class and Description |
---|---|
class |
ConnectivityServiceGUI
register the scc service
|
Modifier and Type | Class and Description |
---|---|
class |
StableRegionsServiceGUI |
Modifier and Type | Class and Description |
---|---|
class |
StableStatesServiceGUI
Define the action for stableStates service
|
Modifier and Type | Class and Description |
---|---|
class |
StateInRegulatoryGraphServiceGUI |
Modifier and Type | Class and Description |
---|---|
class |
TrapSpaceServiceGUI
Define the action for stableStates service
|
Copyright © 2005–2020. All rights reserved.