hash_rec_ Struct Reference

#include <bddint.h>

Collaboration diagram for hash_rec_:

[legend]

Data Fields
bdd	key
struct hash_rec_ *	next

---

Detailed Description

Definition at line 690 of file bddint.h.

---

Field Documentation

bdd hash_rec_::key

Definition at line 692 of file bddint.h.

struct hash_rec_* hash_rec_::next [read]

Definition at line 693 of file bddint.h.

---

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

• src/cmuBdd/bddint.h