Struct batsat::callbacks::Basic

pub struct Basic { /* fields omitted */ }

Basic set of callbacks

This doesn't do anything except storing a function to stop

Implementations

impl Basic

pub fn new() -> Self

Allocate a new set of callbacks

pub fn set_stop<F>(&mut self, f: F) where
    F: 'static + Fn() -> bool, 

Set the stop function

Trait Implementations

impl Callbacks for Basic

pub fn stop(&self) -> bool

Should we stop? called regularly for asynchronous interrupts and such

pub fn on_start(&mut self)

Called before starting to solve

pub fn on_simplify(&mut self)

Called whenever the solver simplifies its set of clauses

pub fn on_restart(&mut self)

Called whenever the SAT solver restarts

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

Called after a clause GC

pub fn on_new_clause(&mut self, _c: &[Lit], _src: Kind)

Called whenever a new clause is learnt.

pub fn on_delete_clause(&mut self, _c: &[Lit])

Called when a clause is deleted.

pub fn on_progress<F>(&mut self, _f: F) where
    F: FnOnce() -> ProgressStatus, 

called regularly to indicate progress

pub fn on_result(&mut self, _s: lbool)

Called when a result is computed

impl Default for Basic

pub fn default() -> Self

Returns the "default value" for a type.