-
Sm_End()
- Calls the end routines of all the packages.
-
Sm_Init()
- Calls the initialization routines of all the packages.
-
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 2009/03/04 12h:51