-
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 1011114 08h21