Struct SolverStats 

pub struct SolverStats {
    pub n_sat: usize,
    pub n_unsat: usize,
    pub n_terminated: usize,
    pub n_clauses: usize,
    pub max_var: Option<Var>,
    pub avg_clause_len: f32,
    pub cpu_solve_time: Duration,
}

Solver statistics

Fields

n_sat: usize

The number of satisfiable queries executed

n_unsat: usize

The number of unsatisfiable queries executed

n_terminated: usize

The number of terminated queries executed

n_clauses: usize

The number of clauses in the solver

max_var: Option<Var>

The highest variable in the solver

avg_clause_len: f32

The average length of the clauses added to the solver

cpu_solve_time: Duration

The total CPU time spent solving

Trait Implementations

impl Clone for SolverStats

fn clone(&self) -> SolverStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SolverStats

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

Formats the value using the given formatter.

impl Default for SolverStats

fn default() -> SolverStats

Returns the “default value” for a type.

impl PartialEq for SolverStats

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