unique_ Struct Reference

#include <bddint.h>

Collaboration diagram for unique_:

[legend]

Public Member Functions
void free_terminal_fn	ARGS ((cmu_bdd_manager, INT_PTR, INT_PTR, pointer))
Data Fields
var_table *	tables
pointer	free_terminal_env
long	entries
long	gc_limit
long	node_limit
long	gcs
long	freed
long	finds

---

Detailed Description

Definition at line 445 of file bddint.h.

---

Member Function Documentation

void free_terminal_fn unique_::ARGS

(

(cmu_bdd_manager, INT_PTR, INT_PTR, pointer)

)

---

Field Documentation

long unique_::entries

Definition at line 451 of file bddint.h.

long unique_::finds

Definition at line 456 of file bddint.h.

pointer unique_::free_terminal_env

Definition at line 450 of file bddint.h.

long unique_::freed

Definition at line 455 of file bddint.h.

long unique_::gc_limit

Definition at line 452 of file bddint.h.

long unique_::gcs

Definition at line 454 of file bddint.h.

long unique_::node_limit

Definition at line 453 of file bddint.h.

var_table* unique_::tables

Definition at line 447 of file bddint.h.

---

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

• src/cmuBdd/bddint.h