Struct SolverStatistics

pub struct SolverStatistics {
    pub recursive_calls: usize,
    pub simple_rule_applications: usize,
    pub subproblems_explored: usize,
    pub max_depth: usize,
    pub dilemma_rule_applications: usize,
    pub parse_time: Duration,
    pub translate_time: Duration,
    pub search_time: Duration,
    /* private fields */
}

Statistics for tracking solver performance and progress

Fields

recursive_calls: usize

Number of times solve_recursive has been called

simple_rule_applications: usize

Number of times simple rules have been applied

subproblems_explored: usize

Number of subproblems created in the search tree

max_depth: usize

Maximum depth reached during recursive solving

dilemma_rule_applications: usize

Number of times dilemma rule was applied (branching)

parse_time: Duration

Total time spent in parsing

translate_time: Duration

Total time spent in translation

search_time: Duration

Total time spent in search

Implementations

impl SolverStatistics

pub fn new() -> Self

Create a new instance of SolverStatistics

pub fn reset(&mut self)

Reset all statistics to zero

pub fn increment_recursive_calls(&mut self)

Increment the recursive calls counter

pub fn increment_simple_rule_applications(&mut self)

Increment the simple rule applications counter

pub fn increment_subproblems_explored(&mut self)

Increment the subproblems explored counter

pub fn update_max_depth(&mut self, depth: usize)

Update the maximum depth if current depth is greater

pub fn increment_dilemma_rule_applications(&mut self)

Increment the dilemma rule applications counter

pub fn print_summary(&self, verbosity: i32)

Print final statistics summary

pub fn print_progress(&self, _depth: usize, verbosity: i32)

Print progress information with specified verbosity level

Trait Implementations

impl Clone for SolverStatistics

fn clone(&self) -> SolverStatistics

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SolverStatistics

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SolverStatistics

fn default() -> SolverStatistics

Returns the “default value” for a type.