Struct Stats 

pub struct Stats {

    pub nodes: usize,
    pub cone: usize,
    pub swept: usize,
    pub rounds: usize,
    pub structural: usize,
    pub queries: usize,
    pub solvers: usize,
    pub merges: usize,
    pub counterexamples: usize,
    pub unknown: usize,
    pub conflicts: u64,
    pub by_conflicts: [usize; 5],
    pub learned: usize,
    pub forgotten: usize,
    pub log: usize,
    pub hints: usize,
    pub proof: usize,
}

What a decision cost.

Fields

nodes: usize

The miter’s nodes, those the pairs reach (all the sweep passes: a node no pair reads cannot help decide one), and how many of those the sweep has passed.

cone: usize

swept: usize

rounds: usize

The rounds the decision took; the rest of the cost is the last round’s.

structural: usize

Merges by structure: a constant, a copy, or a pair of representatives an earlier node has.

queries: usize

Solves under assumptions, the merges they proved, the counterexamples they found and those whose budget ran out.

solvers: usize

Solvers the sweep has used.

merges: usize

counterexamples: usize

unknown: usize

conflicts: u64

by_conflicts: [usize; 5]

The solves by the conflicts each took: none, at most 10, at most 100, at most 1000, more.

learned: usize

Clauses the solvers learned, those the log let go (nothing a later clause could name rested on them), the clauses and hints the log holds, and the steps of the derivation the claims reach.

forgotten: usize

log: usize

hints: usize

proof: usize

Trait Implementations

impl Clone for Stats

fn clone(&self) -> Stats

Returns a duplicate 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 Eq for Stats

impl StructuralPartialEq for Stats