opt.h
External header file
optInt.h
Internal header file
optCmd.c
The option command file.

opt.h

External header file

By: Marco Roveri


optInt.h

Internal header file

By: Marco Roveri

()
Makes append_cluster option visible to the shell interface

optCmd.c

The option command file.

By: Marco Roveri

optional

init_options()
Initialize the NuSMV options.
init_options_cmd()
Initialize the NuSMV options command
CommandSetVariable()
Sets an environment variable
CommandUnsetVariable()
Unsets an environment variable
remove_non_existant_pps()
Finds all preprocessor names occurring in the given string that are not actually available, and returns the set of the only available ones
opt_check_invar_fb_heuristic_to_string()
Convert the FB_Heuristic to it's string representation
opt_check_invar_bddbmc_heuristic_to_string()
Convert the Bdd2bmc_Heuristic to it's string representation
opt_check_sat_solver()
Check function for the sat_solver option.
opt_get_sat_solver()
get function for the sat_solver option.
opt_get_integer()
Get the integer representation of the given string
opt_input_file_trigger()
Input file check function
opt_check_word_format()
Check function for the output word format
opt_check_shown_states()
Check function for the number of shown states
opt_set_reachable_states_trigger()
Trigger that sets the use_reachable_states flag if needed
opt_reorder_method_trigger()
reordering method trigger: enables / disables dd_autodyn
opt_dynamic_reorder_trigger()
Dynamic reordering trigger: enables / disables dd_autodyn
opt_trace_plugin_trigger()
Trigger for the default_trace_plugin option.
opt_trans_order_file_trigger()
Trigger function for the trans_order_file option
opt_run_cpp_trigger()
Trigger function for the run_cpp option
opt_pp_list_trigger()
Trigger function for the pp_list option
opt_rbc_inlining_lazy_trigger()
Trigger function for the run_cpp option
opt_traces_regexp_trigger()
Trigger function for the traces_regexp option

Last updated on 2012/11/18 14h:16