NuSMV/code/nusmv/core/opt/optInt.h File Reference

#include <stdio.h>
#include <limits.h>
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/opt/opt.h"
#include "nusmv/core/cinit/cinit.h"
#include "cudd/util.h"
#include "nusmv/core/node/node.h"
#include "nusmv/core/set/set.h"
#include "nusmv/core/dd/dd.h"
#include "nusmv/core/rbc/rbc.h"
#include "nusmv/core/compile/compile.h"
#include "nusmv/core/prop/Prop.h"
#include "nusmv/core/utils/ucmd.h"
#include "nusmv/core/trans/trans.h"
#include "nusmv/core/fsm/bdd/bdd.h"

Go to the source code of this file.

Functions
char *	opt_check_invar_bddbmc_heuristic_to_string (Bdd2bmc_Heuristic h)
	Convert the Bdd2bmc_Heuristic to it's string representation.
char *	opt_check_invar_fb_heuristic_to_string (FB_Heuristic h)
	Convert the FB_Heuristic to it's string representation.
char *	opt_check_invar_strategy_to_string (Check_Strategy str)
boolean	opt_dynamic_reorder_trigger (OptsHandler_ptr opts, const char *opt, const char *value, Trigger_Action action, void *arg)
	Dynamic reordering trigger: enables / disables dd_autodyn.
void *	opt_get_integer (OptsHandler_ptr opts, const char *val, void *arg)
	Get the integer representation of the given string.
boolean	opt_pp_cpp_path_trigger (OptsHandler_ptr opts, const char *opt, const char *value, Trigger_Action action, void *arg)
boolean	opt_pp_list_trigger (OptsHandler_ptr opts, const char *opt, const char *value, Trigger_Action action, void *arg)
	Trigger function for the pp_list option.
boolean	opt_pp_m4_path_trigger (OptsHandler_ptr opts, const char *opt, const char *value, Trigger_Action action, void *arg)
boolean	opt_rbc_inlining_lazy_trigger (OptsHandler_ptr opts, const char *opt, const char *value, Trigger_Action action, void *arg)
	Trigger function for the run_cpp option.
boolean	opt_reorder_method_trigger (OptsHandler_ptr opts, const char *opt, const char *value, Trigger_Action action, void *arg)
boolean	opt_run_cpp_trigger (OptsHandler_ptr opts, const char *opt, const char *value, Trigger_Action action, void *arg)
	Trigger function for the run_cpp option.
boolean	opt_script_file_trigger (OptsHandler_ptr opts, const char *opt, const char *value, Trigger_Action action, void *arg)
boolean	opt_set_reachable_states_trigger (OptsHandler_ptr opts, const char *opt, const char *value, Trigger_Action action, void *arg)
	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, void *arg)
	Trigger for the default_trace_plugin option.
boolean	opt_trans_order_file_trigger (OptsHandler_ptr opts, const char *opt, const char *value, Trigger_Action action, void *arg)
	Trigger function for the trans_order_file option.
Variables
cmp_struct_ptr	cmps
	The internal header file of the opt package.

---

Function Documentation

char* opt_check_invar_bddbmc_heuristic_to_string

(

Bdd2bmc_Heuristic

h

)

Convert the Bdd2bmc_Heuristic to it's string representation.

Convert the Bdd2bmc_Heuristic to it's string representation

char* opt_check_invar_fb_heuristic_to_string

(

FB_Heuristic

h

)

Convert the FB_Heuristic to it's string representation.

Convert the FB_Heuristic to it's string representation

char* opt_check_invar_strategy_to_string

(

Check_Strategy

str

)

Todo:

Missing synopsis

Todo:

Missing description

boolean opt_dynamic_reorder_trigger	(	OptsHandler_ptr	opts,
		const char *	opt,
		const char *	value,
		Trigger_Action	action,
		void *	arg
	)

Dynamic reordering trigger: enables / disables dd_autodyn.

Dynamic reordering trigger: enables / disables dd_autodyn

void* opt_get_integer	(	OptsHandler_ptr	opts,
		const char *	val,
		void *	arg
	)

Get the integer representation of the given string.

Get the integer representation of the given string

boolean opt_pp_cpp_path_trigger	(	OptsHandler_ptr	opts,
		const char *	opt,
		const char *	value,
		Trigger_Action	action,
		void *	arg
	)

boolean opt_pp_list_trigger	(	OptsHandler_ptr	opts,
		const char *	opt,
		const char *	value,
		Trigger_Action	action,
		void *	arg
	)

Trigger function for the pp_list option.

Trigger function for the pp_list option. Checks that the given list of preprocessors is valid or not

boolean opt_pp_m4_path_trigger	(	OptsHandler_ptr	opts,
		const char *	opt,
		const char *	value,
		Trigger_Action	action,
		void *	arg
	)

boolean opt_rbc_inlining_lazy_trigger	(	OptsHandler_ptr	opts,
		const char *	opt,
		const char *	value,
		Trigger_Action	action,
		void *	arg
	)

Trigger function for the run_cpp option.

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,
		void *	arg
	)

reordering method trigger: enables / disables dd_autodyn

boolean opt_run_cpp_trigger	(	OptsHandler_ptr	opts,
		const char *	opt,
		const char *	value,
		Trigger_Action	action,
		void *	arg
	)

Trigger function for the run_cpp option.

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_script_file_trigger	(	OptsHandler_ptr	opts,
		const char *	opt,
		const char *	value,
		Trigger_Action	action,
		void *	arg
	)

boolean opt_set_reachable_states_trigger	(	OptsHandler_ptr	opts,
		const char *	opt,
		const char *	value,
		Trigger_Action	action,
		void *	arg
	)

Trigger that sets the use_reachable_states flag if needed.

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,
		void *	arg
	)

Trigger for the default_trace_plugin option.

Trigger for the default_trace_plugin option: Updates the default plugin in the trace pkg.

boolean opt_trans_order_file_trigger	(	OptsHandler_ptr	opts,
		const char *	opt,
		const char *	value,
		Trigger_Action	action,
		void *	arg
	)

Trigger function for the trans_order_file option.

Trigger function for the trans_order_file option: Enables/disables AFFINITY_CLUSTERING if needed

---

Variable Documentation

cmp_struct_ptr cmps

The internal header file of the opt package.

Author:

Marco Roveri The internal header file of the opt package.