int CommandSetVariable( int argc, char** argv )
unset
optCmd.c
int CommandUnsetVariable( int argc, char** argv )
set
optCmd.c
void init_options_cmd( )
optCmd.c
void init_options( )
optCmd.c
boolean opt_check_bmc_inc_invar_alg( OptsHandler_ptr opts, const char* val )
optCmd.c
boolean opt_check_bmc_invar_alg( OptsHandler_ptr opts, const char* val )
optCmd.c
boolean opt_check_bmc_pb_length( OptsHandler_ptr opts, const char* val )
optCmd.c
boolean opt_check_bmc_pb_loop( OptsHandler_ptr opts, const char* val )
optCmd.c
const char* opt_check_invar_bddbmc_heuristic_to_string( Bdd2bmc_Heuristic h )
optCmd.c
const char* opt_check_invar_fb_heuristic_to_string( FB_Heuristic h )
optCmd.c
boolean opt_check_sat_solver( OptsHandler_ptr opts, const char* val )
optCmd.c
boolean opt_check_shown_states( OptsHandler_ptr opts, const char* val )
optCmd.c
boolean opt_check_word_format( OptsHandler_ptr opts, const char* val )
optCmd.c
boolean opt_dynamic_reorder_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
optCmd.c
void* opt_get_bmc_inc_invar_alg( OptsHandler_ptr opts, const char* val )
optCmd.c
void* opt_get_bmc_invar_alg( OptsHandler_ptr opts, const char* val )
optCmd.c
void * opt_get_integer( OptsHandler_ptr opts, const char * value )
optCmd.c
void* opt_get_sat_solver( OptsHandler_ptr opts, const char* val )
optCmd.c
void* opt_get_string( OptsHandler_ptr opts, const char* val )
optCmd.c
boolean opt_input_file_trigger( OptsHandler_ptr opts, const char* name, const char* val, Trigger_Action action )
optCmd.c
boolean opt_rbc_inlining_lazy_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
optCmd.c
boolean opt_reorder_method_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
optCmd.c
boolean opt_run_cpp_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
optCmd.c
boolean opt_set_reachable_states_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
optCmd.c
boolean opt_trace_plugin_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
optCmd.c
boolean opt_trans_order_file_trigger( OptsHandler_ptr opts, const char* opt, const char* value, Trigger_Action action )
optCmd.c
static char* remove_non_existant_pps( const char* pp_list )
optCmd.c
( )
optInt.h
( )
optCmd.c