CSolverStats Struct Reference

#include <xchaff_solver.h>

List of all members.

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

---

Detailed Description

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

Synopsis [Sat solver statistics ]

Description []

SeeAlso []

Definition at line 117 of file xchaff_solver.h.

---

Member Data Documentation

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().

---

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

• xchaff_solver.h