pumpkin-core 0.4.0

The core of the Pumpkin constraint programming solver.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

use crate::basic_types::time::Duration;
use crate::statistics::StatisticLogger;
use crate::statistics::log_statistic;

/// Structure responsible for storing several statistics of the solving process of the solver.
#[derive(Debug, Default)]
pub struct SolverStatistics {
    /// Core statistics of the solver engine (e.g. the number of decisions)
    pub(crate) engine_statistics: EngineStatistics,
}

impl SolverStatistics {
    pub(crate) fn log(&self, _statistic_logger: StatisticLogger, _verbose: bool) {
        log_statistic("nodes", self.engine_statistics.num_decisions);
        log_statistic("restarts", self.engine_statistics.num_restarts);
        log_statistic("peakDepth", self.engine_statistics.peak_depth);
        log_statistic(
            "solveTime",
            self.engine_statistics.time_spent_in_solver.as_secs_f64(),
        );
    }
}

/// Core statistics of the solver engine (e.g. the number of decisions)
#[derive(Debug, Default)]
pub(crate) struct EngineStatistics {
    /// The number of decisions taken by the solver
    pub(crate) num_decisions: u64,
    /// The number of times the solver has restarted
    pub(crate) num_restarts: u64,
    /// The amount of time which is spent in the solver.
    pub(crate) time_spent_in_solver: Duration,
    /// The peak depth of the seach tree
    pub(crate) peak_depth: u64,
}