cudd
3.0.0
The University of Colorado Decision Diagram Package
Main Page
Related Pages
Modules
Data Structures
Files
Data Structures
Data Structure Index
Class Hierarchy
Data Fields
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 3 2016 19:46:46 for cudd by
1.8.11