cache_ Struct Reference

#include <bddint.h>

Collaboration diagram for cache_:

[legend]

Public Member Functions
long rehash_fn	ARGS ((cmu_bdd_manager, cache_entry))
int gc_fn	ARGS ((cmu_bdd_manager, cache_entry))
void purge_fn	ARGS ((cmu_bdd_manager, cache_entry))
void return_fn	ARGS ((cmu_bdd_manager, cache_entry))
int flush_fn	ARGS ((cmu_bdd_manager, cache_entry, pointer))
Data Fields
cache_bin *	table
int	size_index
long	size
int	cache_level
int	cache_ratio
long	entries
long	lookups
long	hits
long	inserts
long	collisions

---

Detailed Description

Definition at line 402 of file bddint.h.

---

Member Function Documentation

int flush_fn cache_::ARGS

(

(cmu_bdd_manager, cache_entry, pointer)

)

void return_fn cache_::ARGS

(

(cmu_bdd_manager, cache_entry)

)

void purge_fn cache_::ARGS

(

(cmu_bdd_manager, cache_entry)

)

int gc_fn cache_::ARGS

(

(cmu_bdd_manager, cache_entry)

)

long rehash_fn cache_::ARGS

(

(cmu_bdd_manager, cache_entry)

)

---

Field Documentation

int cache_::cache_level

Definition at line 407 of file bddint.h.

int cache_::cache_ratio

Definition at line 419 of file bddint.h.

long cache_::collisions

Definition at line 424 of file bddint.h.

long cache_::entries

Definition at line 420 of file bddint.h.

long cache_::hits

Definition at line 422 of file bddint.h.

long cache_::inserts

Definition at line 423 of file bddint.h.

long cache_::lookups

Definition at line 421 of file bddint.h.

long cache_::size

Definition at line 406 of file bddint.h.

int cache_::size_index

Definition at line 405 of file bddint.h.

cache_bin* cache_::table

Definition at line 404 of file bddint.h.

---

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

• src/cmuBdd/bddint.h