var_table_ Struct Reference

#include <bddint.h>

Collaboration diagram for var_table_:

[legend]

Data Fields
bdd *	table
int	size_index
long	size
long	entries

---

Detailed Description

Definition at line 432 of file bddint.h.

---

Field Documentation

long var_table_::entries

Definition at line 437 of file bddint.h.

long var_table_::size

Definition at line 436 of file bddint.h.

int var_table_::size_index

Definition at line 435 of file bddint.h.

bdd* var_table_::table

Definition at line 434 of file bddint.h.

---

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

• src/cmuBdd/bddint.h