Trait ProvableSolutions 

pub trait ProvableSolutions: ExactSizeIterator {
    // Required method
    fn best_solution_distance(&self) -> Option<SolutionDistance>;
}

Solutions that can be proven if necessary.

Solutions are generated on demand during iteration.

Required Methods

fn best_solution_distance(&self) -> Option<SolutionDistance>

Best solution distance found, None in case there are no solutions

Dyn Compatibility

This trait is dyn compatible.

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

Implementors