cudd
3.0.0
The University of Colorado Decision Diagram Package
Data Fields
Conjuncts Struct Reference
Type of a pair of conjoined BDDs.
More...
Collaboration diagram for Conjuncts:
[
legend
]
Data Fields
DdNode
*
g
DdNode
*
h
Detailed Description
Type of a pair of conjoined BDDs.
The documentation for this struct was generated from the following file:
cudd/
cuddDecomp.c
Generated on Wed Feb 7 2018 06:10:06 for cudd by
1.8.14