cu_bdd_gen Struct Reference

Collaboration diagram for cu_bdd_gen:

[legend]

Data Fields
DdManager *	manager
DdGen *	ddGen
array_t *	cube

---

Detailed Description

Definition at line 67 of file cuPortIter.c.

---

Field Documentation

array_t* cu_bdd_gen::cube

Definition at line 70 of file cuPortIter.c.

DdGen* cu_bdd_gen::ddGen

Definition at line 69 of file cuPortIter.c.

DdManager* cu_bdd_gen::manager

Definition at line 68 of file cuPortIter.c.

---

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

• src/cuPort/cuPortIter.c