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:
cudd/
cuddDecomp.c
Generated on Thu Aug 3 2017 00:55:26 for cudd by
1.8.13