MiniSat::SolverStats Struct Reference

#include <minisat_solver.h>

List of all members.

Public Member Functions

Public Attributes


Detailed Description

Definition at line 162 of file minisat_solver.h.


Constructor & Destructor Documentation

MiniSat::SolverStats::SolverStats (  )  [inline]

Definition at line 167 of file minisat_solver.h.


Member Data Documentation

int64_t MiniSat::SolverStats::starts

Definition at line 163 of file minisat_solver.h.

Referenced by MiniSat::Solver::search().

int64_t MiniSat::SolverStats::decisions

Definition at line 163 of file minisat_solver.h.

Referenced by MiniSat::Solver::search().

int64_t MiniSat::SolverStats::propagations

Definition at line 163 of file minisat_solver.h.

Referenced by MiniSat::Solver::propagate().

int64_t MiniSat::SolverStats::conflicts

Definition at line 163 of file minisat_solver.h.

Referenced by MiniSat::Solver::search().

int64_t MiniSat::SolverStats::theory_conflicts

Definition at line 163 of file minisat_solver.h.

Referenced by MiniSat::Solver::search().

int64_t MiniSat::SolverStats::max_level

Definition at line 163 of file minisat_solver.h.

Referenced by MiniSat::Solver::assume().

int64_t MiniSat::SolverStats::clauses_literals

Definition at line 164 of file minisat_solver.h.

Referenced by MiniSat::Solver::insertClause(), MiniSat::Solver::remove(), and MiniSat::Solver::simplifyDB().

int64_t MiniSat::SolverStats::learnts_literals

Definition at line 164 of file minisat_solver.h.

Referenced by MiniSat::Solver::insertClause(), MiniSat::Solver::insertLemma(), MiniSat::Solver::pop(), MiniSat::Solver::push(), MiniSat::Solver::remove(), and MiniSat::Solver::simplifyDB().

int64_t MiniSat::SolverStats::max_literals

Definition at line 164 of file minisat_solver.h.

Referenced by MiniSat::Solver::insertClause().

int64_t MiniSat::SolverStats::del_clauses

Definition at line 164 of file minisat_solver.h.

Referenced by MiniSat::Solver::simplifyDB().

int64_t MiniSat::SolverStats::del_lemmas

Definition at line 164 of file minisat_solver.h.

Referenced by MiniSat::Solver::reduceDB().

int64_t MiniSat::SolverStats::db_simpl

Definition at line 164 of file minisat_solver.h.

Referenced by MiniSat::Solver::simplifyDB().

int64_t MiniSat::SolverStats::lm_simpl

Definition at line 164 of file minisat_solver.h.

Referenced by MiniSat::Solver::reduceDB().

int64_t MiniSat::SolverStats::debug

Definition at line 164 of file minisat_solver.h.

Referenced by MiniSat::Solver::pop(), and MiniSat::Solver::search().


The documentation for this struct was generated from the following file:
Generated on Wed Nov 18 16:18:44 2009 for CVC3 by  doxygen 1.5.2