Struct Stats

pub struct Stats {
    pub n_solve_calls: usize,
    pub n_solutions: usize,
    pub n_non_dominated: usize,
    pub n_candidates: usize,
    pub n_oracle_calls: usize,
    pub n_objs: usize,
    pub n_real_objs: usize,
    pub n_orig_clauses: usize,
}

Statistics of the solver

Fields

n_solve_calls: usize

The number of calls to Solve::solve

n_solutions: usize

The number of Pareto-optimal solutions found

n_non_dominated: usize

The number of non-dominated points found

n_candidates: usize

The number of candidates explored

n_oracle_calls: usize

The number of calls to the SAT oracle

n_objs: usize

The number of objectives in the solver

n_real_objs: usize

The number of non-constant objectives in the solver

n_orig_clauses: usize

The number of original clauses

Trait Implementations

impl Clone for Stats

fn clone(&self) -> Stats

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Stats

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

Formats the value using the given formatter.

impl Default for Stats

fn default() -> Stats

Returns the “default value” for a type.

impl PartialEq for Stats

fn eq(&self, other: &Stats) -> 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 Stats

impl Eq for Stats

impl StructuralPartialEq for Stats