Trait Solver 

pub trait Solver<P> {
    type Error;

    // Required methods
    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>;

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

Required Associated Types

type Error

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.

Provided Methods

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

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

Implementors