Struct batsat::callbacks::Basic

pub struct Basic { /* private fields */ }

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

fn stop(&self) -> bool

Should we stop? called regularly for asynchronous interrupts and such

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

impl Default for Basic

fn default() -> Self

Returns the “default value” for a type.