CVC3
2.4.1
|
#include <minisat_solver.h>
Definition at line 162 of file minisat_solver.h.
MiniSat::SolverStats::SolverStats | ( | ) | [inline] |
Definition at line 167 of file minisat_solver.h.
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 SAT::DPLLTMiniSat::search(), and MiniSat::Solver::search().
Definition at line 163 of file minisat_solver.h.
Referenced by MiniSat::Solver::propagate(), and SAT::DPLLTMiniSat::search().
int64_t MiniSat::SolverStats::conflicts |
Definition at line 163 of file minisat_solver.h.
Referenced by SAT::DPLLTMiniSat::search(), and MiniSat::Solver::search().
Definition at line 163 of file minisat_solver.h.
Referenced by SAT::DPLLTMiniSat::search(), and MiniSat::Solver::search().
int64_t MiniSat::SolverStats::max_level |
Definition at line 163 of file minisat_solver.h.
Referenced by MiniSat::Solver::assume(), and SAT::DPLLTMiniSat::search().
Definition at line 164 of file minisat_solver.h.
Referenced by MiniSat::Solver::insertClause(), MiniSat::Solver::remove(), SAT::DPLLTMiniSat::search(), and MiniSat::Solver::simplifyDB().
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(), SAT::DPLLTMiniSat::search(), and MiniSat::Solver::simplifyDB().
Definition at line 164 of file minisat_solver.h.
Referenced by MiniSat::Solver::insertClause(), and SAT::DPLLTMiniSat::search().
Definition at line 164 of file minisat_solver.h.
Referenced by SAT::DPLLTMiniSat::search(), and MiniSat::Solver::simplifyDB().
int64_t MiniSat::SolverStats::del_lemmas |
Definition at line 164 of file minisat_solver.h.
Referenced by MiniSat::Solver::reduceDB(), and SAT::DPLLTMiniSat::search().
int64_t MiniSat::SolverStats::db_simpl |
Definition at line 164 of file minisat_solver.h.
Referenced by SAT::DPLLTMiniSat::search(), and MiniSat::Solver::simplifyDB().
int64_t MiniSat::SolverStats::lm_simpl |
Definition at line 164 of file minisat_solver.h.
Referenced by MiniSat::Solver::reduceDB(), and SAT::DPLLTMiniSat::search().
int64_t MiniSat::SolverStats::debug |
Definition at line 164 of file minisat_solver.h.
Referenced by MiniSat::Solver::pop(), SAT::DPLLTMiniSat::search(), and MiniSat::Solver::search().