Uses of Class
org.ginsim.service.export.nusmv.NuSMVConfig

Packages that use NuSMVConfig

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

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

Methods in org.ginsim.service.export.nusmv that return NuSMVConfig

Modifier and Type	Method and Description
NuSMVConfig	NuSMVExportService.getConfig(org.colomoto.biolqm.LogicalModel model)

Methods in org.ginsim.service.export.nusmv with parameters of type NuSMVConfig

Modifier and Type	Method and Description
void	NuSMVExportService.export(NuSMVConfig config, File file)
void	NuSMVExportService.run(NuSMVConfig config, String filename)
void	NuSMVEncoder.write(NuSMVConfig config, Writer out) Export the graph to a NUSMV model description

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

Constructors in org.ginsim.servicegui.export.nusmv with parameters of type NuSMVConfig

Constructor and Description
NuSMVExportConfigPanel(RegulatoryGraph graph, NuSMVConfig config, org.ginsim.servicegui.export.nusmv.NuSMVExportAction action)