Struct splr::solver::restart::Restarter

pub struct Restarter { /* fields omitted */ }

Restarter provides restart API and holds data about restart conditions.

Trait Implementations

impl Clone for Restarter

fn clone(&self) -> Restarter

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Restarter

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

Formats the value using the given formatter.

impl Default for Restarter

fn default() -> Restarter

Returns the “default value” for a type.

impl Instantiate for Restarter

fn instantiate(config: &Config, cnf: &CNFDescription) -> Self

make and return an object from Config and CNFDescription.

fn handle(&mut self, e: SolverEvent)

update by a solver event.

impl PropertyDereference<Tusize, usize> for Restarter

fn derefer(&self, k: Tusize) -> usize

impl PropertyReference<TEma2, Ema2> for Restarter

fn refer(&self, k: TEma2) -> &Ema2

impl RestartIF for Restarter

fn restart(&mut self) -> Option<RestartDecision>

check blocking and forcing restart condition.

fn stabilize(&mut self) -> Option<bool>

check stabilization mode and return:

fn update(&mut self, kind: ProgressUpdate)

update specific sub-module