Trait ParallelSolutionIterator 

pub trait ParallelSolutionIterator: Send + Sync {
    // Required methods
    fn par_process<F>(&self, f: F) -> Result<Solution>
       where F: Fn(&Binding) -> Option<Binding> + Send + Sync;
    fn par_filter<F>(&self, f: F) -> Result<Solution>
       where F: Fn(&Binding) -> bool + Send + Sync;
    fn par_extend<F>(&self, f: F) -> Result<Solution>
       where F: Fn(&Binding) -> Vec<Binding> + Send + Sync;
}

Parallel iterator for solution processing

Required Methods

fn par_process<F>(&self, f: F) -> Result<Solution>

where F: Fn(&Binding) -> Option<Binding> + Send + Sync,

fn par_filter<F>(&self, f: F) -> Result<Solution>

where F: Fn(&Binding) -> bool + Send + Sync,

fn par_extend<F>(&self, f: F) -> Result<Solution>

where F: Fn(&Binding) -> Vec<Binding> + Send + Sync,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors