BannerPrint()
Prints the banner of NuSMV.
CommandCmdReset()
Implements the reset command.
CommandPrintUsage()
Implements the print_usage command.
DateReadFromDateString()
Returns the date in a brief format assuming its coming from the program `date'.
NusmvrcSource()
Sources the .nusmvrc file.
SmEnd()
Calls the end routines of all the packages.
SmInit()
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.
UsagePrint()
Prints the usage of the NuSMV shell interface.
main()
required
print_usage()
Prints usage statistic.
smBatchMain()
The batch main.
sm_ParseLineOptions()
Parses the command line options.

Last updated on 1020130 15h19