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'.
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
UsagePrint()
Prints the usage of the NuSMV shell interface.
get_executable_name()
Given a command, returns the executable file name (with extension if required)
get_preprocessor_call()
Gets the command line call for the specified pre-processor name. Returns NULL if given name is not available, or a string that must be NOT freed
get_preprocessor_filename()
Gets the actual program name of the specified pre-processor. Returns NULL if given name is not available, or a string that must be freed
get_preprocessor_names()
Gets the names of the avaliable pre-processors. Returned string must be freed
get_preprocessors_num()
Returns the number of available proprocessors
init_preprocessors()
Initializes information about the pre-processors avaliable.
main()
required
print_usage()
Prints usage statistic.
quit_preprocessors()
Removes information regarding the avaliable pre-processors.
restore_nusmv_stderr()
restore_nusmv_stdout()
smBatchMain()
The batch main.
sm_ParseLineOptions()
Parses the command line options.

Last updated on 2010/05/19 15h:56