Conjuncts Struct Reference

Collaboration diagram for Conjuncts:

[legend]

Data Fields
DdNode *	g
DdNode *	h

---

Detailed Description

Definition at line 89 of file cuddDecomp.c.

---

Field Documentation

DdNode* Conjuncts::g

Definition at line 90 of file cuddDecomp.c.

DdNode* Conjuncts::h

Definition at line 91 of file cuddDecomp.c.

---

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

• src/cuBdd/cuddDecomp.c