boolean opt_check_bmc_inc_invar_alg( OptsHandler_ptr opts, const char* val )
boolean opt_check_bmc_invar_alg( OptsHandler_ptr opts, const char* val )
boolean opt_check_bmc_pb_length( OptsHandler_ptr opts, const char* val )
boolean opt_check_bmc_pb_loop( OptsHandler_ptr opts, const char* val )
const char* opt_check_invar_bddbmc_heuristic_to_string( Bdd2bmc_Heuristic h )
const char* opt_check_invar_fb_heuristic_to_string( FB_Heuristic h )
boolean opt_check_sat_solver( OptsHandler_ptr opts, const char* val )
boolean opt_check_shown_states( OptsHandler_ptr opts, const char* val )
boolean opt_check_word_format( OptsHandler_ptr opts, const char* val )
boolean opt_dynamic_reorder_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
void* opt_get_bmc_inc_invar_alg( OptsHandler_ptr opts, const char* val )
void* opt_get_bmc_invar_alg( OptsHandler_ptr opts, const char* val )
void * opt_get_integer( OptsHandler_ptr opts, const char * value )
void* opt_get_sat_solver( OptsHandler_ptr opts, const char* val )
void* opt_get_string( OptsHandler_ptr opts, const char* val )
boolean opt_input_file_trigger( OptsHandler_ptr opts, const char* name, const char* val, Trigger_Action action )
boolean opt_rbc_inlining_lazy_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
boolean opt_reorder_method_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
boolean opt_run_cpp_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
boolean opt_set_reachable_states_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
boolean opt_trace_plugin_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
boolean opt_trans_order_file_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )