pub struct ParallelCubeSolver { /* private fields */ }Expand description
Parallel cube solver.
Implementations§
Source§impl ParallelCubeSolver
impl ParallelCubeSolver
Sourcepub fn new(config: CubeSolverConfig) -> Self
pub fn new(config: CubeSolverConfig) -> Self
Creates a new parallel cube solver.
Sourcepub fn solve(
&mut self,
cubes: Vec<Cube>,
clauses: &[Clause],
) -> (CubeResult, Vec<CubeSolveResult>)
pub fn solve( &mut self, cubes: Vec<Cube>, clauses: &[Clause], ) -> (CubeResult, Vec<CubeSolveResult>)
Solves a set of cubes in parallel.
Returns the overall result and individual cube results.
Sourcepub fn stats(&self) -> CubeSolverStats
pub fn stats(&self) -> CubeSolverStats
Returns statistics about the current solving session.
Auto Trait Implementations§
impl Freeze for ParallelCubeSolver
impl RefUnwindSafe for ParallelCubeSolver
impl Send for ParallelCubeSolver
impl Sync for ParallelCubeSolver
impl Unpin for ParallelCubeSolver
impl UnsafeUnpin for ParallelCubeSolver
impl UnwindSafe for ParallelCubeSolver
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more