Trait mop_common_defs::Solver

pub trait Solver<P> {
    fn after_iter<'a>(&'a mut self, p: &'a mut P) -> SolverFuture<'a>;
    fn before_iter<'a>(&'a mut self, p: &'a mut P) -> SolverFuture<'a>;

    fn finished(&mut self, _: &mut P) { ... }
    fn init(&mut self, _: &mut P) { ... }
}

Required methods

fn after_iter<'a>(&'a mut self, p: &'a mut P) -> SolverFuture<'a>

Do solving work after stoping criteria verification.

fn before_iter<'a>(&'a mut self, p: &'a mut P) -> SolverFuture<'a>

Do solving work before stoping criteria verification.

Loading content...

Provided methods

fn finished(&mut self, _: &mut P)

fn init(&mut self, _: &mut P)

Loading content...

Implementors

Loading content...