Struct DefaultCallback 

pub struct DefaultCallback { /* private fields */ }

Default callback implementation (no-op)

Implementations

impl DefaultCallback

pub fn new() -> Self

pub fn request_stop(&mut self)

Trait Implementations

impl Debug for DefaultCallback

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for DefaultCallback

fn default() -> Self

Returns the “default value” for a type.

impl SolverCallback for DefaultCallback

fn on_instantiation(&mut self, _inst: &Instantiation)

Called when new instantiations are generated

fn on_conflict(&mut self, _quantifier: TermId, _reason: &[TermId])

Called when a conflict is detected

fn on_round_start(&mut self, _round: usize)

Called when MBQI starts a new round

fn on_round_end(&mut self, _round: usize, _result: &MBQIResult)

Called when MBQI completes a round

fn should_stop(&self) -> bool

Check if solver should stop (e.g., timeout)