CVC3  2.4.1
Public Attributes | List of all members
CDatabaseStats Struct Reference

#include <xchaff_dbase.h>

Public Attributes

int mem_used_up_counts
bool mem_used_up
int init_num_clauses
int init_num_literals
int num_added_clauses
int num_added_literals
int num_deleted_clauses
int num_deleted_literals

Detailed Description

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

Synopsis [Definition of the statistics of clause database]

Description []

SeeAlso [CDatabase]

Definition at line 69 of file xchaff_dbase.h.

Member Data Documentation

int CDatabaseStats::mem_used_up_counts

Definition at line 70 of file xchaff_dbase.h.

Referenced by CDatabase::CDatabase().

bool CDatabaseStats::mem_used_up
int CDatabaseStats::init_num_clauses

Definition at line 72 of file xchaff_dbase.h.

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

int CDatabaseStats::init_num_literals

Definition at line 73 of file xchaff_dbase.h.

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

int CDatabaseStats::num_added_clauses
int CDatabaseStats::num_added_literals
int CDatabaseStats::num_deleted_clauses
int CDatabaseStats::num_deleted_literals

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