Sm_NuSMVEndPrintMore()
Stop piping stdout through the "more" command
Sm_NuSMVInitPrintMore()
Start piping stdout through the "more" command
Sm_NuSMVObtainLibrary()
Returns the NuSMV library path.
Sm_NuSMVReadVersion()
Returns the current NuSMV version.
Sm_Reset()
Shuts down and restarts the system
sm_ParseLineOptions()
Parses the command line options.

Last updated on 2005/05/05 18h:35