Trait SolveStats

pub trait SolveStats {
    // Required method
    fn stats(&self) -> SolverStats;

    // Provided methods
    fn n_sat_solves(&self) -> usize { ... }
    fn n_unsat_solves(&self) -> usize { ... }
    fn n_terminated(&self) -> usize { ... }
    fn n_solves(&self) -> usize { ... }
    fn n_clauses(&self) -> usize { ... }
    fn max_var(&self) -> Option<Var> { ... }
    fn n_vars(&self) -> usize { ... }
    fn avg_clause_len(&self) -> f32 { ... }
    fn cpu_solve_time(&self) -> Duration { ... }
}

Trait for solvers that track certain statistics.

Required Methods

fn stats(&self) -> SolverStats

Gets the available statistics from the solver

Provided Methods

fn n_sat_solves(&self) -> usize

Gets the number of satisfiable queries executed.

fn n_unsat_solves(&self) -> usize

Gets the number of unsatisfiable queries executed.

fn n_terminated(&self) -> usize

Gets the number of queries that were prematurely terminated.

fn n_solves(&self) -> usize

Gets the total number of queries executed.

fn n_clauses(&self) -> usize

Gets the number of clauses in the solver.

fn max_var(&self) -> Option<Var>

Gets the variable with the highest index in the solver, if any.

If all variables below have been used, the index of this variable plus one is the number of variables in the solver.

fn n_vars(&self) -> usize

Get number of variables. Note: this is only correct if all variables are used in order!

fn avg_clause_len(&self) -> f32

Gets the average length of all clauses in the solver.

fn cpu_solve_time(&self) -> Duration

Gets the total CPU time spent solving.

Implementors