Struct SolveStats 

pub struct SolveStats {
    pub propagation_count: usize,
    pub node_count: usize,
    pub solve_time: Duration,
    pub variable_count: usize,
    pub constraint_count: usize,
    pub peak_memory_mb: usize,
}

Statistics collected during the solving process.

Fields

propagation_count: usize

Number of propagation steps performed during solving

node_count: usize

Number of search nodes (branching points) explored during solving

solve_time: Duration

Total time spent solving

variable_count: usize

Number of variables in the problem

constraint_count: usize

Number of constraints in the problem

peak_memory_mb: usize

Peak memory usage estimate during solving (in MB)

Implementations

impl SolveStats

pub fn new( propagation_count: usize, node_count: usize, solve_time: Duration, variable_count: usize, constraint_count: usize, peak_memory_mb: usize, ) -> Self

Create new statistics with all fields

pub fn efficiency(&self) -> f64

Get solving efficiency as propagations per node

pub fn time_per_propagation(&self) -> Duration

Get average time per propagation step

pub fn time_per_node(&self) -> Duration

Get average time per search node

pub fn display_summary(&self)

Display a summary of the solving statistics

Trait Implementations

impl Clone for SolveStats

fn clone(&self) -> SolveStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SolveStats

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

Formats the value using the given formatter.

impl Default for SolveStats

fn default() -> SolveStats

Returns the “default value” for a type.

impl PartialEq for SolveStats

fn eq(&self, other: &SolveStats) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for SolveStats