| Class | Description |
|---|---|
| CADPCommonWriter |
Writer class for common.lnt including general functions and type definitions,
based on the maximum value of the multi-valued components, if any are
referred to in the model specification
|
| CADPExportConfig |
Class containing all the information required for the specification of the
composition to be provided via LTS abstraction and minimisation using CADP
|
| 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
|
| CADPExpWriter |
Class generating the EXP file which specifies the synchronization vectors
|
| CADPIntegrationWriter | |
| CADPMclWriter |
Class generating an MCL file for each global stable state
|
| CADPModuleWriter |
Class that produces the LOTOS NT specification of a single Logical Regulatory
Module
|
| CADPReadMeWriter |
Class generating the dynamic README file for the CADP export bundle
|
| CADPSvlWriter |
Class generating the SVL for the CADP export bundle
|
| CADPWriter |
Class providing methods supporting all writers of CADP specifications
|
| CADPWriter.GateWriter | |
| CADPWriter.StateVarWriter |
Copyright © 2005–2020. All rights reserved.