Trait batsat::callbacks::Callbacks

pub trait Callbacks {
    fn on_start(&mut self) { ... }
    fn on_simplify(&mut self) { ... }
    fn on_gc(&mut self, _old_size: usize, _new_size: usize) { ... }
    fn on_progress(&mut self, _f: &ProgressStatus) { ... }
    fn on_result(&mut self, _s: lbool) { ... }
    fn stop(&self) -> bool { ... }
}

Basic callbacks to the solver

Typically intended for printing/statistics

Provided Methods

fn on_start(&mut self)

Called before starting to solve

fn on_simplify(&mut self)

Called whenever the solver simplifies its set of clauses

fn on_gc(&mut self, _old_size: usize, _new_size: usize)

Called after a clause GC

fn on_progress(&mut self, _f: &ProgressStatus)

called regularly to indicate progress

fn on_result(&mut self, _s: lbool)

Called when a result is computed

fn stop(&self) -> bool

Should we stop? called regularly for asynchronous interrupts and such

Implementors

impl Callbacks for Basic