Struct batsat::callbacks::ProgressStatus
source · pub struct ProgressStatus {
pub conflicts: i32,
pub dec_vars: i32,
pub n_clauses: u32,
pub n_clause_lits: i32,
pub max_learnt: i32,
pub n_learnt: u32,
pub n_learnt_lits: f64,
pub progress_estimate: f64,
}
Expand description
Progress indicator from the SAT solver.
This is given to Callbacks
regularly so it can log it somehow.
Fields
conflicts: i32
dec_vars: i32
n_clauses: u32
n_clause_lits: i32
max_learnt: i32
n_learnt: u32
n_learnt_lits: f64
progress_estimate: f64
Trait Implementations
sourceimpl Clone for ProgressStatus
impl Clone for ProgressStatus
sourcefn clone(&self) -> ProgressStatus
fn clone(&self) -> ProgressStatus
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for ProgressStatus
impl Debug for ProgressStatus
impl Copy for ProgressStatus
Auto Trait Implementations
impl RefUnwindSafe for ProgressStatus
impl Send for ProgressStatus
impl Sync for ProgressStatus
impl Unpin for ProgressStatus
impl UnwindSafe for ProgressStatus
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more