Struct ResourceMonitor 

pub struct ResourceMonitor {
    pub conflicts: u64,
    pub decisions: u64,
    pub restarts: u64,
    pub theory_checks: u64,
    /* private fields */
}

Tracks resource usage and checks whether limits have been exceeded.

The monitor is created from a ResourceLimits configuration and then updated as the solver progresses. Call check to see if any limit has been hit.

Fields

conflicts: u64

Number of conflicts observed so far

decisions: u64

Number of decisions observed so far

restarts: u64

Number of restarts observed so far

theory_checks: u64

Number of theory checks observed so far

Implementations

impl ResourceMonitor

pub fn new(limits: ResourceLimits) -> Self

Create a new monitor with the given limits and reset all counters.

pub fn reset(&mut self)

Reset counters and restart the timer.

pub fn record_conflict(&mut self)

Record one conflict.

pub fn record_decision(&mut self)

Record one decision.

pub fn record_restart(&mut self)

Record one restart.

pub fn record_theory_check(&mut self)

Record one theory check.

pub fn check(&self) -> Option<ResourceExhausted>

Check whether any resource limit has been exceeded.

Returns Some(reason) if a limit was hit, or None if all limits are still satisfied.

pub fn check_result(&self) -> Result<(), ResourceExhausted>

Check limits and return a Result.

Convenience wrapper: returns Ok(()) when no limit is hit, or Err(ResourceExhausted) when one is.

pub fn limits(&self) -> &ResourceLimits

Get the configured limits.

pub fn elapsed(&self) -> Option<Duration>

Get elapsed time (std only).

Trait Implementations

impl Clone for ResourceMonitor

fn clone(&self) -> ResourceMonitor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResourceMonitor

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

Formats the value using the given formatter.