cache_entry_ Struct Reference

#include <bddint.h>

Data Fields
INT_PTR	slot [4]

---

Detailed Description

Definition at line 311 of file bddint.h.

---

Field Documentation

INT_PTR cache_entry_::slot[4]

Definition at line 313 of file bddint.h.

---

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

• src/cmuBdd/bddint.h