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


Last updated on 2010/11/04 13h:34