Struct SolveStats 

pub struct SolveStats {
    pub iterations: u32,
    pub duration_us: u64,
    pub peak_memory: u64,
}

Statistics from a solve operation.

Tracks performance metrics from solver execution including iteration count, timing, and memory usage.

Builder Pattern

SolveStats supports a builder pattern for convenient construction:

use xlog_solve::SolveStats;

let stats = SolveStats::default()
    .with_iterations(100)
    .with_duration_us(5000)
    .with_peak_memory(1024);

assert_eq!(stats.iterations, 100);
assert_eq!(stats.duration_us, 5000);
assert_eq!(stats.peak_memory, 1024);

Fields

iterations: u32

Number of iterations performed by the solver.

For iterative solvers (like CLS), this is the number of gradient descent steps. For CDCL solvers, this might be the number of decisions or conflicts.

duration_us: u64

Wall-clock time spent solving, in microseconds.

This includes all solver operations but typically excludes instance setup and result extraction.

peak_memory: u64

Peak memory usage during solving, in bytes.

This tracks the maximum memory allocated by the solver, useful for profiling and resource management.

Implementations

impl SolveStats

pub const fn new(iterations: u32, duration_us: u64, peak_memory: u64) -> Self

Creates new statistics with all fields specified.

Arguments

• iterations - Number of solver iterations
• duration_us - Solve time in microseconds
• peak_memory - Peak memory usage in bytes

Example

use xlog_solve::SolveStats;

let stats = SolveStats::new(100, 5000, 1024);
assert_eq!(stats.iterations, 100);

pub const fn with_iterations(self, iterations: u32) -> Self

Sets the iteration count, consuming and returning self.

Example

use xlog_solve::SolveStats;

let stats = SolveStats::default().with_iterations(100);
assert_eq!(stats.iterations, 100);

pub const fn with_duration_us(self, duration_us: u64) -> Self

Sets the duration in microseconds, consuming and returning self.

Example

use xlog_solve::SolveStats;

let stats = SolveStats::default().with_duration_us(5000);
assert_eq!(stats.duration_us, 5000);

pub const fn with_peak_memory(self, peak_memory: u64) -> Self

Sets the peak memory usage in bytes, consuming and returning self.

Example

use xlog_solve::SolveStats;

let stats = SolveStats::default().with_peak_memory(1024);
assert_eq!(stats.peak_memory, 1024);

pub const fn duration_ms(&self) -> u64

Returns the duration in milliseconds (rounded down).

Example

use xlog_solve::SolveStats;

let stats = SolveStats::new(0, 5500, 0);
assert_eq!(stats.duration_ms(), 5);

pub fn duration_secs(&self) -> f64

Returns the duration in seconds as a floating-point value.

Example

use xlog_solve::SolveStats;

let stats = SolveStats::new(0, 1_500_000, 0);
assert_eq!(stats.duration_secs(), 1.5);

pub fn iterations_per_sec(&self) -> f64

Returns iterations per second (throughput).

Returns 0.0 if duration is zero.

Example

use xlog_solve::SolveStats;

let stats = SolveStats::new(1000, 1_000_000, 0);
assert_eq!(stats.iterations_per_sec(), 1000.0);

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 Copy for SolveStats

impl Eq for SolveStats

impl StructuralPartialEq for SolveStats