const char*
opt_check_invar_bddbmc_heuristic_to_string(
Bdd2bmc_Heuristic h
)
- Convert the Bdd2bmc_Heuristic to it's string representation
const char*
opt_check_invar_fb_heuristic_to_string(
FB_Heuristic h
)
- Convert the FB_Heuristic to it's string representation
boolean
opt_check_sat_solver(
OptsHandler_ptr opts,
const char* val
)
- Check function for the sat_solver option.
boolean
opt_check_shown_states(
OptsHandler_ptr opts,
const char* val
)
- Check function for the number of shown states
boolean
opt_check_word_format(
OptsHandler_ptr opts,
const char* val
)
- Check function for the output word format
boolean
opt_dynamic_reorder_trigger(
OptsHandler_ptr opts,
const char* opt,
const char* value,
Trigger_Action action
)
- Dynamic reordering trigger: enables / disables dd_autodyn
void *
opt_get_integer(
OptsHandler_ptr opts,
const char * value
)
- Get the integer representation of the given string
void*
opt_get_sat_solver(
OptsHandler_ptr opts,
const char* val
)
- get function for the sat_solver option.
void*
opt_get_string(
OptsHandler_ptr opts,
const char* val
)
- Get function for simple strings
boolean
opt_input_file_trigger(
OptsHandler_ptr opts,
const char* name,
const char* val,
Trigger_Action action
)
- Input file check function
boolean
opt_pp_list_trigger(
OptsHandler_ptr opts,
const char* opt,
const char* value,
Trigger_Action action
)
- Trigger function for the pp_list option. Checks that
the given list of preprocessors is valid or not
boolean
opt_rbc_inlining_lazy_trigger(
OptsHandler_ptr opts,
const char* opt,
const char* value,
Trigger_Action action
)
- Trigger function for the run_cpp option: Tells that the
option is deprecated. No side-effect on the option
value will be performed
boolean
opt_reorder_method_trigger(
OptsHandler_ptr opts,
const char* opt,
const char* value,
Trigger_Action action
)
- reordering method trigger: enables / disables dd_autodyn
boolean
opt_run_cpp_trigger(
OptsHandler_ptr opts,
const char* opt,
const char* value,
Trigger_Action action
)
- Trigger function for the run_cpp option: Tells that the
option is deprecated. No side-effect on the option
value will be performed
boolean
opt_set_reachable_states_trigger(
OptsHandler_ptr opts,
const char* opt,
const char* value,
Trigger_Action action
)
- Trigger that sets the use_reachable_states flag if needed
boolean
opt_trace_plugin_trigger(
OptsHandler_ptr opts,
const char* opt,
const char* value,
Trigger_Action action
)
- Trigger for the default_trace_plugin option: Updates the
default plugin in the trace pkg.
boolean
opt_traces_regexp_trigger(
OptsHandler_ptr opts,
const char* opt,
const char* value,
Trigger_Action act
)
- Trigger function for the counter_examples_show_re
option: tries to compile regexp pattern and rejects it if
compilation fails.
boolean
opt_trans_order_file_trigger(
OptsHandler_ptr opts,
const char* opt,
const char* value,
Trigger_Action action
)
- Trigger function for the trans_order_file option:
Enables/disables AFFINITY_CLUSTERING if needed