bdd_mgr_init Struct Reference

#include <cuddBdd.h>

List of all members.

Public Attributes

struct {

   boolean   on

   unsigned int   resize_at

   unsigned int   max_size

} ITE_cache

struct {

   boolean   on

   unsigned int   resize_at

   unsigned int   max_size

} ITE_const_cache

struct {

   boolean   on

   unsigned int   resize_at

   unsigned int   max_size

} adhoc_cache

struct {

   boolean   on

} garbage_collector

struct {

   void(*   daemon )()

   unsigned int   limit

} memory

struct {

   float   ratio

   unsigned int   init_blocks

} nodes

Member Data Documentation

struct { ... } bdd_mgr_init::adhoc_cache

void(* bdd_mgr_init::daemon)()

struct { ... } bdd_mgr_init::garbage_collector

unsigned int bdd_mgr_init::init_blocks

Definition at line 155 of file cuddBdd.h.

struct { ... } bdd_mgr_init::ITE_cache

struct { ... } bdd_mgr_init::ITE_const_cache

unsigned int bdd_mgr_init::limit

Definition at line 151 of file cuddBdd.h.

unsigned int bdd_mgr_init::max_size

Definition at line 142 of file cuddBdd.h.

struct { ... } bdd_mgr_init::memory

struct { ... } bdd_mgr_init::nodes

boolean bdd_mgr_init::on

Definition at line 147 of file cuddBdd.h.

float bdd_mgr_init::ratio

Definition at line 154 of file cuddBdd.h.

unsigned int bdd_mgr_init::resize_at

Definition at line 141 of file cuddBdd.h.

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

Generated on Sun Dec 12 19:22:40 2004 for SystemC2.0.1(excludingMSLib)(IncludingSCV) by

1.2.18