DDMgr Struct Reference

Private and protected interface of class 'DDMgr'. More...

Public Member Functions
	INHERITS_FROM (EnvObject)
Data Fields
DdManager *	dd
Related Functions
(Note that these are not member functions.)
void	dd_manager_deinit (DDMgr_ptr self)
	The DDMgr class private deinitializer.
void	dd_manager_init (DDMgr_ptr self, const NuSMVEnv_ptr env)
	The DDMgr class private initializer.
DDMgr_ptr	DDMgr_create (const NuSMVEnv_ptr env)
	The DDMgr class constructor.
void	DDMgr_destroy (DDMgr_ptr self)
	The DDMgr class destructor.
DdManager *	DDMgr_get_dd_manager (const DDMgr_ptr self)
	returns the internal CUDD DdManager

Detailed Description

Private and protected interface of class 'DDMgr'.

Public interface of class 'DDMgr'.

Author:: Alessandro Mariotti This file can be included only by derived and friend classes

DDMgr class definition derived from class EnvObject

Definition of the public accessor for class DDMgr

DDMgr::INHERITS_FROM ( EnvObject )

void dd_manager_deinit ( DDMgr_ptr self ) [related]

The DDMgr class private deinitializer.

The DDMgr class private deinitializer

The DDMgr class private initializer.

The DDMgr class private initializer

DDMgr_ptr DDMgr_create ( const NuSMVEnv_ptr env ) [related]

The DDMgr class constructor.

AutomaticStart

The DDMgr class constructor. Requires a valid instance of an Environment

void DDMgr_destroy ( DDMgr_ptr self ) [related]

The DDMgr class destructor.

The DDMgr class destructor

DdManager * DDMgr_get_dd_manager ( const DDMgr_ptr self ) [related]

returns the internal CUDD DdManager

DdManager* DDMgr::dd

The documentation for this struct was generated from the following files: