-
opt_check_invar_bddbmc_heuristic_to_string()
- Convert the Bdd2bmc_Heuristic to it's string representation
-
opt_check_invar_fb_heuristic_to_string()
- Convert the FB_Heuristic to it's string representation
-
opt_check_sat_solver()
- Check function for the sat_solver option.
-
opt_check_shown_states()
- Check function for the number of shown states
-
opt_check_word_format()
- Check function for the output word format
-
opt_dynamic_reorder_trigger()
- Dynamic reordering trigger: enables / disables dd_autodyn
-
opt_get_integer()
- Get the integer representation of the given string
-
opt_get_sat_solver()
- get function for the sat_solver option.
-
opt_get_string()
- Get function for simple strings
-
opt_input_file_trigger()
- Input file check function
-
opt_pp_list_trigger()
- Trigger function for the pp_list option
-
opt_rbc_inlining_lazy_trigger()
- Trigger function for the run_cpp option
-
opt_reorder_method_trigger()
- reordering method trigger: enables / disables dd_autodyn
-
opt_run_cpp_trigger()
- Trigger function for the run_cpp option
-
opt_set_reachable_states_trigger()
- Trigger that sets the use_reachable_states flag if needed
-
opt_trace_plugin_trigger()
- Trigger for the default_trace_plugin option.
-
opt_traces_regexp_trigger()
- Trigger function for the traces_regexp option
-
opt_trans_order_file_trigger()
- Trigger function for the trans_order_file option
Last updated on 2011/04/06 21h:13