cinit.h
External header file
cinitInt.h
Internal header file
cinitCmd.c
Interface of the cinit package with the shell.
cinitData.c
Helper for the NuSMV library. Helps with extending it or creating new tools out of it.
cinitDummyMac.c
This is a hack, i.e. an auxiliary dummy file to make 'ar' work under Mac OS X.
cinitInit.c
Initializes and ends NuSMV.
cinitMisc.c
This file contain the main routine for the batch use of NuSMV.
cinitVers.c
Supplies the compile date and version information.

cinit.h

External header file

By: Adapted to NuSMV by Marco Roveri


cinitInt.h

Internal header file

By: Adapted to NuSMV by Marco Roveri


cinitCmd.c

Interface of the cinit package with the shell.

By: Adapted to NuSMV by Marco Roveri

Interface of the cinit package with the shell.

CommandCmdReset()
Implements the reset command.
CommandPrintUsage()
Implements the print_usage command.

cinitData.c

Helper for the NuSMV library. Helps with extending it or creating new tools out of it.

By: Alessandro Mariotti

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_init_cmd_options()
Initializes all NuSMV library command line options
NuSMVCore_main()
Executes the main program.
NuSMVCore_quit()
Shuts down the system
NuSMVCore_reset()
Shuts down and restarts the system
NuSMVCore_add_env_command_line_option()
Adds a command line option to the system.
()
Adds a command line option to the system.
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_set_tool_name()
The Sm tool_name field setter
NuSMVCore_get_tool_version()
The Sm tool_version field getter
NuSMVCore_set_tool_version()
The Sm tool_version field setter
NuSMVCore_get_build_date()
The Sm build_date field getter
NuSMVCore_set_build_date()
The Sm build_date field setter
NuSMVCore_get_prompt_string()
The Sm prompt_string field getter
NuSMVCore_set_prompt_string()
The Sm prompt_string field setter
NuSMVCore_get_email()
The Sm email field getter
NuSMVCore_set_email()
The Sm email field setter
NuSMVCore_get_website()
The Sm website field getter
NuSMVCore_set_website()
The Sm website field setter
NuSMVCore_get_bug_report_message()
The Sm bug_report_message field getter
NuSMVCore_set_bug_report_message()
The Sm bug_report_message field setter
NuSMVCore_get_linked_addons()
The Sm linked_addons field getter
NuSMVCore_set_linked_addons()
The Sm linked_addons field setter
NuSMVCore_get_library_name()
The Sm library_name field getter
NuSMVCore_get_library_version()
The Sm library_version 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_website()
The Sm library_website field getter
NuSMVCore_get_library_bug_report_message()
The Sm library_bug_report_message field getter
()
The Sm banner_print_fun field setter
()
The Sm batch fun field setter
nusmv_core_get_instance()
Initializes (once) the internal core_data variable
nusmv_core_deinit()
Deinitializes and frees the internal variable core_data
nusmv_core_init_opt()
Initializes the internal representation structure of a command line option
nusmv_core_deinit_opt()
Deinitializes the internal representation structure of a command line option
nusmv_core_print_usage()
Prints the command line option usages
nusmv_core_print_string()
Prints the given string on the given stream, padded by the given number.
nusmv_core_parse_line_options()
Parses the given command line options.
nusmv_core_merge()
Given a set of unique strings, returns a string representing the set of strings, separated by a white space
nusmv_core_get_next_word_length()
Aux function for the nusmv_core_split function
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
nusmv_core_check_sin_fun()
Check and apply function for the -sin cmd line opt
nusmv_core_check_rbc_fun()
Check and apply function for the -rbc cmd line opt
nusmv_core_set_mono_partition()
Check and apply function for the -mono cmd line opt
nusmv_core_set_iwls95_partition()
Check and apply function for the -iwls95 cmd line opt
nusmv_core_set_thresh_partition()
Check and apply function for the -thresh cmd line opt
nusmv_core_set_cpp()
Check and apply function for the -cpp cmd line opt
nusmv_core_set_pre()
Check and apply function for the -pre cmd line opt
nusmv_core_set_dp()
Check and apply function for the -dp cmd line opt
core_data_set_fs()
Check and apply function for the -f cmd line opt
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_free_line_options()
Frees the line_options hash and all it's contents

cinitDummyMac.c

This is a hack, i.e. an auxiliary dummy file to make 'ar' work under Mac OS X.

By: Andrei Tchaltsev

Under Mac OS X the source of libnusmv_la_SOURCES (in nusmv/Makefile.am) requires at least one object file. But under Linux, functions of such an object file (specified as the source of libnusmv_la_SOURCES) somehow are not accessible from other files. So, a dummy object file was created and specified as the source of libnusmv_la_SOURCES, and no function from this dummy file is used.


cinitInit.c

Initializes and ends NuSMV.

By: Adapted to NuSMV by Marco Roveri

CInit_reset_first()
Shuts down and restarts the system, shut down part
CInit_reset_last()
Shuts down and restarts the system, restart part
CInit_init()
Calls the initialization routines of all the packages.
CInit_end()
Calls the end routines of all the packages.
init_preprocessors()
Initializes information about the pre-processors avaliable.
get_executable_name()
Given a command, returns the executable file name (with extension if required)
quit_preprocessors()
Removes information regarding the avaliable pre-processors.
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_preprocessors_num()
Returns the number of available proprocessors
get_preprocessor_names()
Gets the names of the avaliable pre-processors. Returned string must be freed

cinitMisc.c

This file contain the main routine for the batch use of NuSMV.

By: Adapted to NuSMV by Marco Roveri

This file contain the main routine for the batch use of NuSMV. The batch main executes the various model checking steps in a predefined order. After the processing of the input file than it return to the calling shell.

cinitBatchMain()
The batch main.
CInit_NusmvrcSource()
Sources the .nusmvrc file.
print_usage()
Prints usage statistic.
restore_nusmv_stdout()
restore_nusmv_stderr()

cinitVers.c

Supplies the compile date and version information.

By: Adapted to NuSMV by Marco Roveri

CInit_NuSMVReadVersion()
Returns the current NuSMV version.
CInit_NuSMVObtainLibrary()
Returns the NuSMV library path.
CInit_NuSMVInitPrintMore()
Start piping stdout through the "more" command
CInit_NuSMVEndPrintMore()
Stop piping stdout through the "more" command
CInit_BannerPrint()
Prints the banner of NuSMV.
CInit_BannerPrintLibrary()
Prints the COMPLETE banner of the NuSMV library.
CInit_BannerPrint_nusmv_library()
Prints the banner of the NuSMV library.
CInit_BannerPrint_cudd()
Prints the banner of cudd.
CInit_BannerPrint_minisat()
Prints the banner of minisat.
CInit_BannerPrint_zchaff()
Prints the banner of zchaff.
cinit_banner_print()
Prints the banner of NuSMV.
DateReadFromDateString()
Returns the date in a brief format assuming its coming from the program `date'.

Last updated on 2011/04/06 21h:13