Uses of Class
org.ginsim.service.export.prism.PRISMConfig

Packages that use PRISMConfig

Package	Description
org.ginsim.service.export.prism
org.ginsim.servicegui.export.prism

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

Methods in org.ginsim.service.export.prism with parameters of type PRISMConfig

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

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

Constructors in org.ginsim.servicegui.export.prism with parameters of type PRISMConfig

Constructor and Description
PRISMExportConfigPanel(PRISMConfig config, org.ginsim.servicegui.export.prism.PRISMExportAction action)