-
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 2011/04/06 21h:12