Package org.ginsim.service.export.nusmv

Class Summary

Class	Description
NodeInfoSorter
NuSMVConfig
NuSMVEncoder	Exports a GINsim Regulatory graph into a NuSMV model description.
NuSMVExportService	GINsim export service capable of encoding the working model into a NuSMV specification.