CVC3  2.4.1
Public Attributes
CDatabaseStats Struct Reference

#include <xchaff_dbase.h>

List of all members.

Public Attributes


Detailed Description

Struct**********************************************************************

Synopsis [Definition of the statistics of clause database]

Description []

SeeAlso [CDatabase]


Member Data Documentation

Definition at line 70 of file xchaff_dbase.h.

Referenced by CDatabase::CDatabase().

Definition at line 71 of file xchaff_dbase.h.

Referenced by CDatabase::CDatabase(), and CDatabase::enlarge_lit_pool().

Definition at line 72 of file xchaff_dbase.h.

Referenced by CDatabase::CDatabase(), and CDatabase::init_num_clauses().

Definition at line 73 of file xchaff_dbase.h.

Referenced by CDatabase::CDatabase(), and CDatabase::init_num_literals().

Definition at line 74 of file xchaff_dbase.h.

Referenced by CDatabase::CDatabase(), and CDatabase::num_added_clauses().


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