cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Fields
NodeStat Struct Reference

Stats for one node. More...

Data Fields

int distance
 
int localRef
 

Detailed Description

Stats for one node.


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