CVC3  2.4.1
Classes | Macros
xchaff_dbase.h File Reference
#include "xchaff_base.h"
#include <queue>

Go to the source code of this file.

Classes

struct  pair_int_equal
struct  pair_int_hash_fun
struct  CDatabaseStats
class  CDatabase

Macros

#define STARTUP_LIT_POOL_SIZE   0x1000

Macro Definition Documentation

#define STARTUP_LIT_POOL_SIZE   0x1000

Definition at line 45 of file xchaff_dbase.h.

Referenced by CDatabase::CDatabase().