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:
Collaboration graph
[legend]

Data Fields

DdNodeg
 
DdNodeh
 

Detailed Description

Type of a pair of conjoined BDDs.


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