CVC3
|
#include <xchaff_solver.h>
Public Attributes | |
bool | is_solver_started |
int | outcome |
bool | is_mem_out |
long | start_cpu_time |
long | last_cpu_time |
long | finish_cpu_time |
long | start_world_time |
long | finish_world_time |
long | total_bubble_move |
int | num_decisions |
int | num_backtracks |
int | max_dlevel |
int | num_implications |
int | num_free_variables |
Struct**********************************************************************
Synopsis [Sat solver statistics ]
Description []
SeeAlso []
Definition at line 117 of file xchaff_solver.h.
bool CSolverStats::is_solver_started |
Definition at line 118 of file xchaff_solver.h.
Referenced by CSolver::add_clause(), CSolver::add_variables(), CSolver::CSolver(), CSolver::init(), CSolver::total_run_time(), and CSolver::~CSolver().
int CSolverStats::outcome |
Definition at line 119 of file xchaff_solver.h.
Referenced by CSolver::continueCheck(), CSolver::CSolver(), CSolver::outcome(), CSolver::real_solve(), and CSolver::solve().
bool CSolverStats::is_mem_out |
Definition at line 121 of file xchaff_solver.h.
Referenced by CSolver::conflict_analysis_zchaff(), CSolver::CSolver(), and CSolver::real_solve().
long CSolverStats::start_cpu_time |
Definition at line 123 of file xchaff_solver.h.
Referenced by CSolver::cpu_run_time(), CSolver::CSolver(), CSolver::init(), CSolver::time_out(), and CSolver::total_run_time().
long CSolverStats::last_cpu_time |
Definition at line 124 of file xchaff_solver.h.
Referenced by CSolver::CSolver(), and CSolver::elapsed_cpu_time().
long CSolverStats::finish_cpu_time |
Definition at line 125 of file xchaff_solver.h.
Referenced by CSolver::continueCheck(), CSolver::cpu_run_time(), CSolver::CSolver(), and CSolver::solve().
long CSolverStats::start_world_time |
Definition at line 126 of file xchaff_solver.h.
Referenced by CSolver::CSolver(), CSolver::init(), and CSolver::world_run_time().
long CSolverStats::finish_world_time |
Definition at line 127 of file xchaff_solver.h.
Referenced by CSolver::continueCheck(), CSolver::CSolver(), CSolver::solve(), and CSolver::world_run_time().
long CSolverStats::total_bubble_move |
Definition at line 129 of file xchaff_solver.h.
Referenced by CSolver::CSolver(), and CSolver::total_bubble_move().
int CSolverStats::num_decisions |
Definition at line 131 of file xchaff_solver.h.
Referenced by CSolver::CSolver(), CSolver::decide_next_branch(), CSolver::num_decisions(), and CSolver::run_periodic_functions().
int CSolverStats::num_backtracks |
Definition at line 132 of file xchaff_solver.h.
Referenced by CSolver::back_track(), CSolver::CSolver(), and CSolver::run_periodic_functions().
int CSolverStats::max_dlevel |
Definition at line 133 of file xchaff_solver.h.
Referenced by CSolver::CSolver(), CSolver::decide_next_branch(), CSolver::max_dlevel(), and CSolver::mem_usage().
int CSolverStats::num_implications |
Definition at line 134 of file xchaff_solver.h.
Referenced by CSolver::CSolver(), CSolver::num_implications(), and CSolver::set_var_value().
int CSolverStats::num_free_variables |
Definition at line 135 of file xchaff_solver.h.
Referenced by CSolver::add_variables(), CSolver::init(), and CSolver::num_free_variables().