-
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 22h:26