Uses of Class
org.ginsim.core.service.ServiceStatus

Packages that use ServiceStatus

Package	Description
org.ginsim.service.export.cadp
org.ginsim.service.export.documentation
org.ginsim.service.export.image
org.ginsim.service.export.nusmv
org.ginsim.service.export.prism
org.ginsim.service.export.reggraph
org.ginsim.service.export.sat
org.ginsim.service.export.struct
org.ginsim.service.format
org.ginsim.service.format.ginml
org.ginsim.service.format.sbml
org.ginsim.service.layout
org.ginsim.service.tool.avatar.service
org.ginsim.service.tool.circuit
org.ginsim.service.tool.composition
org.ginsim.service.tool.graphcomparator
org.ginsim.service.tool.interactionanalysis
org.ginsim.service.tool.localgraph
org.ginsim.service.tool.modelbooleanizer
org.ginsim.service.tool.modelreduction
org.ginsim.service.tool.modelreversion
org.ginsim.service.tool.polytopesViz
org.ginsim.service.tool.reg2dyn
org.ginsim.service.tool.scc
org.ginsim.service.tool.simulation
org.ginsim.service.tool.stableregions
org.ginsim.service.tool.stablestates
org.ginsim.service.tool.trapspace
org.ginsim.servicegui.export.cadp
org.ginsim.servicegui.export.documentation
org.ginsim.servicegui.export.image
org.ginsim.servicegui.export.maboss
org.ginsim.servicegui.export.nusmv
org.ginsim.servicegui.export.petrinet
org.ginsim.servicegui.export.prism
org.ginsim.servicegui.export.reggraph
org.ginsim.servicegui.export.sat
org.ginsim.servicegui.export.struct
org.ginsim.servicegui.format
org.ginsim.servicegui.format.ginml
org.ginsim.servicegui.format.sbml
org.ginsim.servicegui.layout
org.ginsim.servicegui.tool.avatar
org.ginsim.servicegui.tool.circuit	search circuits in the regulatory graph.
org.ginsim.servicegui.tool.composition
org.ginsim.servicegui.tool.dataviewer
org.ginsim.servicegui.tool.decisionanalysis
org.ginsim.servicegui.tool.dynamicanalyser	the state transition graph
org.ginsim.servicegui.tool.graphcomparator
org.ginsim.servicegui.tool.interactionanalysis
org.ginsim.servicegui.tool.localgraph
org.ginsim.servicegui.tool.modelbooleanizer
org.ginsim.servicegui.tool.modelreduction
org.ginsim.servicegui.tool.modelreversion
org.ginsim.servicegui.tool.omddViz
org.ginsim.servicegui.tool.pathfinding
org.ginsim.servicegui.tool.polytopesViz
org.ginsim.servicegui.tool.reg2dyn	find the state transition graph from the regulatory one
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.scc	colorize the strongly connected components in a graph
org.ginsim.servicegui.tool.stableregions
org.ginsim.servicegui.tool.stablestates
org.ginsim.servicegui.tool.stateinregulatorygraph
org.ginsim.servicegui.tool.trapspace

Uses of ServiceStatus in org.ginsim.service.export.cadp

Classes in org.ginsim.service.export.cadp with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	CADPExportService GINsim export service for CADP including: LOTOS NT specifications, (common, module and integration), EXP specifications (synchronization vectors), SVL script, MCL properties and README file

Uses of ServiceStatus in org.ginsim.service.export.documentation

Classes in org.ginsim.service.export.documentation with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	LRGDocumentationService

Uses of ServiceStatus in org.ginsim.service.export.image

Classes in org.ginsim.service.export.image with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	ImageExportService Export the graph view as image (PNG or SVG).

Uses of ServiceStatus in org.ginsim.service.export.nusmv

Classes in org.ginsim.service.export.nusmv with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	NuSMVExportService GINsim export service capable of encoding the working model into a NuSMV specification.

Uses of ServiceStatus in org.ginsim.service.export.prism

Classes in org.ginsim.service.export.prism with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	PRISMExportService

Uses of ServiceStatus in org.ginsim.service.export.reggraph

Classes in org.ginsim.service.export.reggraph with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	RegGraphExportService GINsim export service for the Regulatory Graph format.

Uses of ServiceStatus in org.ginsim.service.export.sat

Classes in org.ginsim.service.export.sat with annotations of type ServiceStatus

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

Uses of ServiceStatus in org.ginsim.service.export.struct

Classes in org.ginsim.service.export.struct with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	GraphStructureExportService Export the structure of a graph to various formats: GraphViz, Biolayout, and cytoscape.

Uses of ServiceStatus in org.ginsim.service.format

Classes in org.ginsim.service.format with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	BNetFormatService GINsim export service for the BoolNet format.
class	BoolsimFormatService GINsim export service for the boolsim format.
class	CNetFormatService GINsim export service for the CNET format used by the BNS tool.
class	GNAFormatService GINsim export service for the GNA (non-xml) format.
class	LogicalTruthTableFormatService GINsim import/export service for the implicant table format.
class	MaBoSSExportService GINsim export service capable of encoding the working model into the MaBoSS format
class	PetriNetAPNNFormatService GINsim export service for the APNN Petri net format.
class	PetriNetINAFormatService GINsim export service for the INA Petri net format.
class	PetriNetPNMLFormatService GINsim export service for the PNML Petri net format.
class	TruthTableFormatService GINsim import service for the TruthTable Format.

Uses of ServiceStatus in org.ginsim.service.format.ginml

Classes in org.ginsim.service.format.ginml with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	GINMLFormatService GINsim export service for the GINML (model-only) format.

Uses of ServiceStatus in org.ginsim.service.format.sbml

Classes in org.ginsim.service.format.sbml with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	SBMLqualService

Uses of ServiceStatus in org.ginsim.service.layout

Classes in org.ginsim.service.layout with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	LayoutService This class contains different placement algorithms, two algorithms for the placement in level and two others for the placement on rings

Uses of ServiceStatus in org.ginsim.service.tool.avatar.service

Classes in org.ginsim.service.tool.avatar.service with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	AvatarService Provider of Avatar services in GINsim
class	AvatarServiceFacade Facade of an Avatar simulation. Instantiates an Avatar simulation from arguments within a command line, provides soundness checks, and outputs statistics and help tips.
class	FirefrontServiceFacade Facade of a Firefront simulation. Instantiates a Firefront simulation from arguments within a command line, provides soundness checks, and outputs statistics and help tips.
class	MonteCarloServiceFacade Facade of a Monte Carlo simulation. Instantiates a Monte Carlo simulation from arguments within a command line, provides soundness checks, and outputs statistics and help tips.

Uses of ServiceStatus in org.ginsim.service.tool.circuit

Classes in org.ginsim.service.tool.circuit with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	CircuitService

Uses of ServiceStatus in org.ginsim.service.tool.composition

Classes in org.ginsim.service.tool.composition with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	CompositionService Module composition service

Uses of ServiceStatus in org.ginsim.service.tool.graphcomparator

Classes in org.ginsim.service.tool.graphcomparator with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	GraphComparatorService

Uses of ServiceStatus in org.ginsim.service.tool.interactionanalysis

Classes in org.ginsim.service.tool.interactionanalysis with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	InteractionAnalysisService

Uses of ServiceStatus in org.ginsim.service.tool.localgraph

Classes in org.ginsim.service.tool.localgraph with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	LocalGraphService

Uses of ServiceStatus in org.ginsim.service.tool.modelbooleanizer

Classes in org.ginsim.service.tool.modelbooleanizer with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	ModelBooleanizerService Model Booleanizer service.

Uses of ServiceStatus in org.ginsim.service.tool.modelreduction

Classes in org.ginsim.service.tool.modelreduction with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	ModelReductionService

Uses of ServiceStatus in org.ginsim.service.tool.modelreversion

Classes in org.ginsim.service.tool.modelreversion with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	ModelReversionService Model reversion service.

Uses of ServiceStatus in org.ginsim.service.tool.polytopesViz

Classes in org.ginsim.service.tool.polytopesViz with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	PolytopesService

Uses of ServiceStatus in org.ginsim.service.tool.reg2dyn

Classes in org.ginsim.service.tool.reg2dyn with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	Reg2DynService

Uses of ServiceStatus in org.ginsim.service.tool.scc

Classes in org.ginsim.service.tool.scc with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	SCCGraphService

Uses of ServiceStatus in org.ginsim.service.tool.simulation

Classes in org.ginsim.service.tool.simulation with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	SimulationService Simple simulation service

Uses of ServiceStatus in org.ginsim.service.tool.stableregions

Classes in org.ginsim.service.tool.stableregions with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	StableRegionsService

Uses of ServiceStatus in org.ginsim.service.tool.stablestates

Classes in org.ginsim.service.tool.stablestates with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	StableStatesService This service provides an analytic search for stable states, implemented in bioLQM.

Uses of ServiceStatus in org.ginsim.service.tool.trapspace

Classes in org.ginsim.service.tool.trapspace with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	TrapSpaceServiceWrapper Search for trap-spaces in Regulatory graphs.

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

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

Modifier and Type	Class and Description
class	CADPExportServiceGUI CADP Export Service

Uses of ServiceStatus in org.ginsim.servicegui.export.documentation

Classes in org.ginsim.servicegui.export.documentation with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	LRGDocumentationServiceGUI GenericDocumentExport is a plugin to export the documentation of a model into multiples document format.

Uses of ServiceStatus in org.ginsim.servicegui.export.image

Classes in org.ginsim.servicegui.export.image with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	ImageExportServiceGUI GUI integration of the PNG and SVG exports.

Uses of ServiceStatus in org.ginsim.servicegui.export.maboss

Classes in org.ginsim.servicegui.export.maboss with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	MaBoSSExportServiceGUI GUI Action to export model to the MaBoSS format

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

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

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

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

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

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

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

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

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

Uses of ServiceStatus in org.ginsim.servicegui.export.reggraph

Classes in org.ginsim.servicegui.export.reggraph with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	RegGraphExportServiceGUI GUI Action to export the regulatory graph interactions and corresponding signs.

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

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

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 ServiceStatus in org.ginsim.servicegui.export.struct

Classes in org.ginsim.servicegui.export.struct with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	GraphStructureExportServiceGUI Export service to struct format

Uses of ServiceStatus in org.ginsim.servicegui.format

Classes in org.ginsim.servicegui.format with annotations of type ServiceStatus

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

Uses of ServiceStatus in org.ginsim.servicegui.format.ginml

Classes in org.ginsim.servicegui.format.ginml with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	GINMLFormatServiceGUI GINsim export service GUI for the GINML (model-only) format.

Uses of ServiceStatus in org.ginsim.servicegui.format.sbml

Classes in org.ginsim.servicegui.format.sbml with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	SBMLqualServiceGUI

Uses of ServiceStatus in org.ginsim.servicegui.layout

Classes in org.ginsim.servicegui.layout with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	LayoutServiceGUI

Uses of ServiceStatus in org.ginsim.servicegui.tool.avatar

Classes in org.ginsim.servicegui.tool.avatar with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	AvatarServiceGUI GUI for the avatar simulation services

Uses of ServiceStatus in org.ginsim.servicegui.tool.circuit

Classes in org.ginsim.servicegui.tool.circuit with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	CircuitServiceGUI main method for the circuit service

Uses of ServiceStatus in org.ginsim.servicegui.tool.composition

Classes in org.ginsim.servicegui.tool.composition with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	CompositionServiceGUI Register the Composition Service

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

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

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

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

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

Modifier and Type	Class and Description
class	DecisionAnalysisServiceGUI

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

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

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

Uses of ServiceStatus in org.ginsim.servicegui.tool.graphcomparator

Classes in org.ginsim.servicegui.tool.graphcomparator with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	GraphComparatorServiceGUI

Uses of ServiceStatus in org.ginsim.servicegui.tool.interactionanalysis

Classes in org.ginsim.servicegui.tool.interactionanalysis with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	InteractionAnalysisServiceGUI

Uses of ServiceStatus in org.ginsim.servicegui.tool.localgraph

Classes in org.ginsim.servicegui.tool.localgraph with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	LocalGraphServiceGUI

Uses of ServiceStatus in org.ginsim.servicegui.tool.modelbooleanizer

Classes in org.ginsim.servicegui.tool.modelbooleanizer with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	ModelBooleanizerServiceGUI Main method to Booleanize a Multivalued model

Uses of ServiceStatus in org.ginsim.servicegui.tool.modelreduction

Classes in org.ginsim.servicegui.tool.modelreduction with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	ReductionServiceGUI main method for the model simplification plugin

Uses of ServiceStatus in org.ginsim.servicegui.tool.modelreversion

Classes in org.ginsim.servicegui.tool.modelreversion with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	ModelReversionServiceGUI Main method for the model reversion plugin

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

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

Modifier and Type	Class and Description
class	OmddVizServiceGUI

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

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

Modifier and Type	Class and Description
class	PathFindingServiceGUI

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

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

Modifier and Type	Class and Description
class	PolytopesVizServiceGUI

Uses of ServiceStatus in org.ginsim.servicegui.tool.reg2dyn

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

Modifier and Type	Class and Description
class	Reg2DynServiceGUI main method for the reg2dyn plugin

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

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

Modifier and Type	Class and Description
class	LimitedSimulationServiceGUI

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

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

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 ServiceStatus in org.ginsim.servicegui.tool.regulatorytreefunction

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

Modifier and Type	Class and Description
class	RegulatoryFunctionTreeServiceGUI

Uses of ServiceStatus in org.ginsim.servicegui.tool.scc

Classes in org.ginsim.servicegui.tool.scc with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	ConnectivityServiceGUI register the scc service

Uses of ServiceStatus in org.ginsim.servicegui.tool.stableregions

Classes in org.ginsim.servicegui.tool.stableregions with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	StableRegionsServiceGUI

Uses of ServiceStatus in org.ginsim.servicegui.tool.stablestates

Classes in org.ginsim.servicegui.tool.stablestates with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	StableStatesServiceGUI Define the action for stableStates service

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

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

Modifier and Type	Class and Description
class	StateInRegulatoryGraphServiceGUI

Uses of ServiceStatus in org.ginsim.servicegui.tool.trapspace

Classes in org.ginsim.servicegui.tool.trapspace with annotations of type ServiceStatus

Modifier and Type	Class and Description
class	TrapSpaceServiceGUI Define the action for stableStates service