The internal header file of the opt package.

int 
CommandSetVariable(
  int  argc, 
  char** argv 
)
Sets an environment variable

See Also unset
Defined in optCmd.c

int 
CommandUnsetVariable(
  int  argc, 
  char** argv 
)
Unsets an environment variable

See Also set
Defined in optCmd.c

void 
init_options_cmd(
    
)
This function declares the interactive shell commands necessary to manipulate NuSMV options.

Defined in optCmd.c

void 
init_options(
    
)
The NuSMV options are initialized. A pointer to a structure containing the NuSMV options is allocated, its fields are initialized and the pointer is returned.

Defined in optCmd.c

const char* 
opt_check_invar_bddbmc_heuristic_to_string(
  Bdd2bmc_Heuristic  h 
)
Convert the Bdd2bmc_Heuristic to it's string representation

Defined in optCmd.c

const char* 
opt_check_invar_fb_heuristic_to_string(
  FB_Heuristic  h 
)
Convert the FB_Heuristic to it's string representation

Defined in optCmd.c

boolean 
opt_check_sat_solver(
  OptsHandler_ptr  opts, 
  const char* val 
)
Check function for the sat_solver option.

Defined in optCmd.c

boolean 
opt_check_shown_states(
  OptsHandler_ptr  opts, 
  const char* val 
)
Check function for the number of shown states

Defined in optCmd.c

boolean 
opt_check_word_format(
  OptsHandler_ptr  opts, 
  const char* val 
)
Check function for the output word format

Defined in optCmd.c

boolean 
opt_dynamic_reorder_trigger(
  OptsHandler_ptr  opts, 
  const char* opt, 
  const char* value, 
  Trigger_Action  action 
)
Dynamic reordering trigger: enables / disables dd_autodyn

Defined in optCmd.c

void * 
opt_get_integer(
  OptsHandler_ptr  opts, 
  const char * value 
)
Get the integer representation of the given string

Defined in optCmd.c

void* 
opt_get_sat_solver(
  OptsHandler_ptr  opts, 
  const char* val 
)
get function for the sat_solver option.

Defined in optCmd.c

void* 
opt_get_string(
  OptsHandler_ptr  opts, 
  const char* val 
)
Get function for simple strings

Defined in optCmd.c

boolean 
opt_input_file_trigger(
  OptsHandler_ptr  opts, 
  const char* name, 
  const char* val, 
  Trigger_Action  action 
)
Input file check function

Defined in optCmd.c

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

Defined in optCmd.c

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

Defined in optCmd.c

boolean 
opt_reorder_method_trigger(
  OptsHandler_ptr  opts, 
  const char* opt, 
  const char* value, 
  Trigger_Action  action 
)
reordering method trigger: enables / disables dd_autodyn

Defined in optCmd.c

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

Defined in optCmd.c

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

Defined in optCmd.c

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.

Defined in optCmd.c

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.

Defined in optCmd.c

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

Defined in optCmd.c

static char* 
remove_non_existant_pps(
  const char* pp_list 
)
Returned string must be freed

Defined in optCmd.c

 
(
    
)
Makes append_cluster option visible to the shell interface. The default is that it is not visible. Notice that only the printing hide it. The set unset function handle it.

Defined in optInt.h

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