hashEntry Struct Reference

Collaboration diagram for hashEntry:

[legend]

Data Fields
DdNode *	f
DdNode *	g

---

Detailed Description

CFile***********************************************************************

FileName [cuddBddCorr.c]

PackageName [cudd]

Synopsis [Correlation between BDDs.]

Description [External procedures included in this module:

• Cudd_bddCorrelation()
• Cudd_bddCorrelationWeights()

Static procedures included in this module:

• bddCorrelationAux()
• bddCorrelationWeightsAux()
• CorrelCompare()
• CorrelHash()
• CorrelCleanUp()

]

Author [Fabio Somenzi]

Copyright [This file was created at the University of Colorado at Boulder. The University of Colorado at Boulder makes no warranty about the suitability of this software for any purpose. It is presented on an AS IS basis.]

Definition at line 51 of file cuddBddCorr.c.

---

Field Documentation

DdNode* hashEntry::f

Definition at line 52 of file cuddBddCorr.c.

DdNode* hashEntry::g

Definition at line 53 of file cuddBddCorr.c.

---

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

• src/bdd/cudd/cuddBddCorr.c