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