Trait mop_common::Solver

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

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

Associated Types

type Error

Loading content...

Required methods

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

Do solving work after stoping criteria verification.

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

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...