NodeDist Struct Reference

structure created to store subset results for each node and distances with odd and even parity of the node from the root and sink. More...

Collaboration diagram for NodeDist:

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

Detailed Description

structure created to store subset results for each node and distances with odd and even parity of the node from the root and sink.

Main data structure in this procedure.

---

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

• cudd/cuddSubsetSP.c