-
Sm_BannerPrint_cudd()
- Prints the banner of cudd.
-
Sm_BannerPrint_minisat()
- Prints the banner of minisat.
-
Sm_BannerPrint_nusmv_library()
- Prints the banner of the NuSMV library.
-
Sm_BannerPrint_zchaff()
- Prints the banner of zchaff.
-
Sm_BannerPrint()
- Prints the banner of NuSMV.
-
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_NusmvrcSource()
- Sources the .nusmvrc file.
-
Sm_Reset()
- Shuts down and restarts the system
-
sm_ParseLineOptions()
- Parses the command line options.
Last updated on 2010/05/19 22h:26