Trait cadical::Callbacks

pub trait Callbacks {
    fn started(&mut self) { ... }
    fn terminate(&mut self) -> bool { ... }
    fn max_length(&self) -> i32 { ... }
    fn learn(&mut self, clause: &[i32]) { ... }
}

Callbacks trait for finer control.

Provided Methods

fn started(&mut self)

Called when the solve method is called.

fn terminate(&mut self) -> bool

Called by the solver periodically to check if it should terminate.

fn max_length(&self) -> i32

Returns the maximum length of clauses to be passed to learn. This methods will be called only once when set_callbacks is called.

fn learn(&mut self, clause: &[i32])

Called by the solver when a new derived clause is learnt.

Implementors

impl Callbacks for Timeout