Conjuncts Struct Reference

Data Fields
DdNode *	g
DdNode *	h

Detailed Description

Definition at line 93 of file cuddDecomp.c.

Field Documentation

DdNode* Conjuncts::g

Definition at line 94 of file cuddDecomp.c.

DdNode* Conjuncts::h

Definition at line 95 of file cuddDecomp.c.

---

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

• cuddDecomp.c