-
CInit_BannerPrintLibrary()
- Prints the COMPLETE banner of the NuSMV library.
-
CInit_BannerPrint_cudd()
- Prints the banner of cudd.
-
CInit_BannerPrint_minisat()
- Prints the banner of minisat.
-
CInit_BannerPrint_nusmv_library()
- Prints the banner of the NuSMV library.
-
CInit_BannerPrint_zchaff()
- Prints the banner of zchaff.
-
CInit_BannerPrint()
- Prints the banner of NuSMV.
-
CInit_NuSMVEndPrintMore()
- Stop piping stdout through the "more" command
-
CInit_NuSMVInitPrintMore()
- Start piping stdout through the "more" command
-
CInit_NuSMVObtainLibrary()
- Returns the NuSMV library path.
-
CInit_NuSMVReadVersion()
- Returns the current NuSMV version.
-
CInit_NusmvrcSource()
- Sources the .nusmvrc file.
-
CInit_end()
- Calls the end routines of all the packages.
-
CInit_init()
- Calls the initialization routines of all the packages.
-
CInit_reset_first()
- Shuts down and restarts the system, shut down part
-
CInit_reset_last()
- Shuts down and restarts the system, restart part
-
cinit_banner_print()
- Prints the banner of NuSMV.
Last updated on 2012/11/18 14h:37