Main Page   Namespace List   Class Hierarchy   Alphabetical List   Compound List   File List   Namespace Members   Compound Members   File Members  

bdd_t Struct Reference

#include <cuddBdd.h>

Collaboration diagram for bdd_t:

Collaboration graph
[legend]
List of all members.

Public Attributes

boolean free
bdd_node * node
bdd_manager * mgr

Member Data Documentation

boolean bdd_t::free
 

Definition at line 130 of file cuddBdd.h.

bdd_manager* bdd_t::mgr
 

Definition at line 132 of file cuddBdd.h.

bdd_node* bdd_t::node
 

Definition at line 131 of file cuddBdd.h.

The documentation for this struct was generated from the following file:
Generated on Fri Jan 14 08:31:03 2005 for SystemC2.1beta11(excludingMSLib)(IncludingSCV)\nProvidedby:www.openverificationfoundation.org by doxygen1.2.18