CVC3
Public Attributes | List of all members
CSolverStats Struct Reference

#include <xchaff_solver.h>

Collaboration diagram for CSolverStats:
Collaboration graph

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
int CSolverStats::outcome
bool CSolverStats::is_mem_out
long CSolverStats::start_cpu_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
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
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
int CSolverStats::num_backtracks
int CSolverStats::max_dlevel
int CSolverStats::num_implications
int CSolverStats::num_free_variables

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