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 2010/11/04 13h:34