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
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'.
NuSMVCore_add_env_command_line_option()
Adds a command line option to the system.
NuSMVCore_get_bug_report_message()
The Sm bug_report_message field getter
NuSMVCore_get_build_date()
The Sm build_date field getter
NuSMVCore_get_email()
The Sm email field getter
NuSMVCore_get_library_bug_report_message()
The Sm library_bug_report_message field getter
NuSMVCore_get_library_build_date()
The Sm library_build_date field getter
NuSMVCore_get_library_email()
The Sm library_email field getter
NuSMVCore_get_library_name()
The Sm library_name field getter
NuSMVCore_get_library_version()
The Sm library_version field getter
NuSMVCore_get_library_website()
The Sm library_website field getter
NuSMVCore_get_linked_addons()
The Sm linked_addons field getter
NuSMVCore_get_prompt_string()
The Sm prompt_string field getter
NuSMVCore_get_tool_name()
The Sm tool_name field getter
NuSMVCore_get_tool_rc_file_name()
The Sm tool rc file name field getter
NuSMVCore_get_tool_version()
The Sm tool_version field getter
NuSMVCore_get_website()
The Sm website field getter
NuSMVCore_init_cmd_options()
Initializes all NuSMV library command line options
NuSMVCore_init_data()
Initializes the NuSMVCore data. This function has to be called _BEFORE_ doing anything else with the library
NuSMVCore_init()
Initializes the system
NuSMVCore_main()
Executes the main program.
NuSMVCore_quit()
Shuts down the system
NuSMVCore_reset()
Shuts down and restarts the system
NuSMVCore_set_bug_report_message()
The Sm bug_report_message field setter
NuSMVCore_set_build_date()
The Sm build_date field setter
NuSMVCore_set_email()
The Sm email field setter
NuSMVCore_set_linked_addons()
The Sm linked_addons field setter
NuSMVCore_set_prompt_string()
The Sm prompt_string field setter
NuSMVCore_set_tool_name()
The Sm tool_name field setter
NuSMVCore_set_tool_version()
The Sm tool_version field setter
NuSMVCore_set_website()
The Sm website field setter
cinitBatchMain()
The batch main.
cinit_banner_print()
Prints the banner of NuSMV.
core_data_set_fs()
Check and apply function for the -f cmd line opt
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.
nusmv_core_check_rbc_fun()
Check and apply function for the -rbc cmd line opt
nusmv_core_check_sin_fun()
Check and apply function for the -sin cmd line opt
nusmv_core_deinit_opt()
Deinitializes the internal representation structure of a command line option
nusmv_core_deinit()
Deinitializes and frees the internal variable core_data
nusmv_core_free_line_options()
Frees the line_options hash and all it's contents
nusmv_core_get_instance()
Initializes (once) the internal core_data variable
nusmv_core_get_next_word_length()
Aux function for the nusmv_core_split function
nusmv_core_init_opt()
Initializes the internal representation structure of a command line option
nusmv_core_merge()
Given a set of unique strings, returns a string representing the set of strings, separated by a white space
nusmv_core_olist_intersection()
Calculates the intersection list between a and b
nusmv_core_olist_union()
Adds all elements in b to a, if a does not contain it already
nusmv_core_parse_line_options()
Parses the given command line options.
nusmv_core_print_string()
Prints the given string on the given stream, padded by the given number.
nusmv_core_print_usage()
Prints the command line option usages
nusmv_core_set_cpp()
Check and apply function for the -cpp cmd line opt
nusmv_core_set_dp()
Check and apply function for the -dp cmd line opt
nusmv_core_set_iwls95_partition()
Check and apply function for the -iwls95 cmd line opt
nusmv_core_set_mono_partition()
Check and apply function for the -mono cmd line opt
nusmv_core_set_pre()
Check and apply function for the -pre cmd line opt
nusmv_core_set_thresh_partition()
Check and apply function for the -thresh cmd line opt
nusmv_core_split()
Given a string of white-space separated strings, splits the string and builds a set of unique strings
nusmv_core_tolower()
Lowercases a string
print_usage()
Prints usage statistic.
quit_preprocessors()
Removes information regarding the avaliable pre-processors.
restore_nusmv_stderr()
restore_nusmv_stdout()
()
Adds a command line option to the system.
()
The Sm banner_print_fun field setter
()
The Sm batch fun field setter

Last updated on 2010/11/04 13h:34