bdd_ Struct Reference

#include <bddint.h>

Collaboration diagram for bdd_:

[legend]

Data Fields
bdd_indexindex_type	indexindex
bdd_refcount_type	refs
bdd_mark_type	mark
INT_PTR	data [2]
struct bdd_ *	next

---

Detailed Description

Definition at line 89 of file bddint.h.

---

Field Documentation

INT_PTR bdd_::data[2]

Definition at line 95 of file bddint.h.

bdd_indexindex_type bdd_::indexindex

Definition at line 91 of file bddint.h.

bdd_mark_type bdd_::mark

Definition at line 94 of file bddint.h.

struct bdd_* bdd_::next [read]

Definition at line 97 of file bddint.h.

bdd_refcount_type bdd_::refs

Definition at line 93 of file bddint.h.

---

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

• src/cmuBdd/bddint.h