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

Packages that use Alias

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.reg2dyn
org.ginsim.service.tool.reg2dyn.limitedsimulation
org.ginsim.service.tool.scc
org.ginsim.service.tool.stableregions
org.ginsim.service.tool.stablestates
org.ginsim.service.tool.trapspace

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

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

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 Alias in org.ginsim.service.export.documentation

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

Modifier and Type	Class and Description
class	LRGDocumentationService

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

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

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

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

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

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

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

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

Modifier and Type	Class and Description
class	PRISMExportService

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

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

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

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

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

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 Alias in org.ginsim.service.export.struct

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

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

Uses of Alias in org.ginsim.service.format

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

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 Alias in org.ginsim.service.format.ginml

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

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

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

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

Modifier and Type	Class and Description
class	SBMLqualService

Uses of Alias in org.ginsim.service.layout

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

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 Alias in org.ginsim.service.tool.avatar.service

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

Modifier and Type	Class and Description
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 Alias in org.ginsim.service.tool.circuit

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

Modifier and Type	Class and Description
class	CircuitService

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

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

Modifier and Type	Class and Description
class	CompositionService Module composition service

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

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

Modifier and Type	Class and Description
class	GraphComparatorService

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

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

Modifier and Type	Class and Description
class	InteractionAnalysisService

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

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

Modifier and Type	Class and Description
class	LocalGraphService

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

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

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

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

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

Modifier and Type	Class and Description
class	ModelReductionService

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

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

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

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

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

Modifier and Type	Class and Description
class	Reg2DynService

Uses of Alias in org.ginsim.service.tool.reg2dyn.limitedsimulation

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

Modifier and Type	Class and Description
class	LimitedSimulationService

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

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

Modifier and Type	Class and Description
class	SCCGraphService

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

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

Modifier and Type	Class and Description
class	StableRegionsService

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

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

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

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

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

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