NodeDist Struct Reference

Collaboration diagram for NodeDist:

[legend]

Data Fields
DdHalfWord	oddTopDist
DdHalfWord	evenTopDist
DdHalfWord	oddBotDist
DdHalfWord	evenBotDist
DdNode *	regResult
DdNode *	compResult

---

Detailed Description

Definition at line 69 of file cuddSubsetSP.c.

---

Field Documentation

DdNode* NodeDist::compResult

Definition at line 75 of file cuddSubsetSP.c.

DdHalfWord NodeDist::evenBotDist

Definition at line 73 of file cuddSubsetSP.c.

DdHalfWord NodeDist::evenTopDist

Definition at line 71 of file cuddSubsetSP.c.

DdHalfWord NodeDist::oddBotDist

Definition at line 72 of file cuddSubsetSP.c.

DdHalfWord NodeDist::oddTopDist

Definition at line 70 of file cuddSubsetSP.c.

DdNode* NodeDist::regResult

Definition at line 74 of file cuddSubsetSP.c.

---

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

• src/bdd/cudd/cuddSubsetSP.c