abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
NodeDist Struct Reference

Data Fields

DdHalfWord oddTopDist
 
DdHalfWord evenTopDist
 
DdHalfWord oddBotDist
 
DdHalfWord evenBotDist
 
DdNoderegResult
 
DdNodecompResult
 

Detailed Description

Definition at line 100 of file cuddSubsetSP.c.

Field Documentation

DdNode* NodeDist::compResult

Definition at line 106 of file cuddSubsetSP.c.

DdHalfWord NodeDist::evenBotDist

Definition at line 104 of file cuddSubsetSP.c.

DdHalfWord NodeDist::evenTopDist

Definition at line 102 of file cuddSubsetSP.c.

DdHalfWord NodeDist::oddBotDist

Definition at line 103 of file cuddSubsetSP.c.

DdHalfWord NodeDist::oddTopDist

Definition at line 101 of file cuddSubsetSP.c.

DdNode* NodeDist::regResult

Definition at line 105 of file cuddSubsetSP.c.


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