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 96 of file cuddSubsetSP.c.

---

Field Documentation

DdNode* NodeDist::compResult

Definition at line 102 of file cuddSubsetSP.c.

DdHalfWord NodeDist::evenBotDist

Definition at line 100 of file cuddSubsetSP.c.

DdHalfWord NodeDist::evenTopDist

Definition at line 98 of file cuddSubsetSP.c.

DdHalfWord NodeDist::oddBotDist

Definition at line 99 of file cuddSubsetSP.c.

DdHalfWord NodeDist::oddTopDist

Definition at line 97 of file cuddSubsetSP.c.

DdNode* NodeDist::regResult

Definition at line 101 of file cuddSubsetSP.c.

---

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

• src/cuBdd/cuddSubsetSP.c