[−][src]Trait cadical::Callbacks
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.