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