var_assoc_ Struct Reference

#include <bddint.h>

Collaboration diagram for var_assoc_:

[legend]

Data Fields
bdd *	assoc
long	last

---

Detailed Description

Definition at line 358 of file bddint.h.

---

Field Documentation

bdd* var_assoc_::assoc

Definition at line 360 of file bddint.h.

long var_assoc_::last

Definition at line 361 of file bddint.h.

---

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

• src/cmuBdd/bddint.h