Package | Description |
---|---|
org.ginsim.service.export.prism | |
org.ginsim.servicegui.export.prism |
Modifier and Type | Method and Description |
---|---|
void |
PRISMExportService.export(PRISMConfig config,
File file) |
void |
PRISMExportService.run(PRISMConfig config,
String filename) |
void |
PRISMEncoder.write(PRISMConfig config,
Writer out)
Export the graph to a PRISM model description
|
Constructor and Description |
---|
PRISMExportConfigPanel(PRISMConfig config,
org.ginsim.servicegui.export.prism.PRISMExportAction action) |
Copyright © 2005–2020. All rights reserved.