cmu_bdd_gen Struct Reference

Collaboration diagram for cmu_bdd_gen:

[legend]

Data Fields
cmu_bdd_manager	manager
bdd_gen_status	status
bdd_gen_type	type
union {
struct {
array_t *   cube
}   cubes
struct {
st_table *   visited
}   nodes
}	gen
struct {
int   sp
bdd_node **   stack
}	stack
bdd_node *	node

---

Detailed Description

Definition at line 61 of file cmuPortIter.c.

---

Field Documentation

array_t* cmu_bdd_gen::cube

Definition at line 67 of file cmuPortIter.c.

struct { ... } cmu_bdd_gen::cubes

union { ... } cmu_bdd_gen::gen

cmu_bdd_manager cmu_bdd_gen::manager

Definition at line 62 of file cmuPortIter.c.

bdd_node* cmu_bdd_gen::node

Definition at line 79 of file cmuPortIter.c.

struct { ... } cmu_bdd_gen::nodes

int cmu_bdd_gen::sp

Definition at line 76 of file cmuPortIter.c.

struct { ... } cmu_bdd_gen::stack

bdd_node** cmu_bdd_gen::stack

Definition at line 77 of file cmuPortIter.c.

bdd_gen_status cmu_bdd_gen::status

Definition at line 63 of file cmuPortIter.c.

bdd_gen_type cmu_bdd_gen::type

Definition at line 64 of file cmuPortIter.c.

st_table* cmu_bdd_gen::visited

Definition at line 71 of file cmuPortIter.c.

---

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

• src/cmuPort/cmuPortIter.c