pub struct AutoSolver<SOLVER, NEXT>(/* private fields */);Expand description
A solver that tries multiple solvers
Implementations§
Source§impl<SOLVER: Default, NEXT: Default> AutoSolver<SOLVER, NEXT>
impl<SOLVER: Default, NEXT: Default> AutoSolver<SOLVER, NEXT>
Sourcepub fn with_solver<NewSolver>(
self,
solver: NewSolver,
) -> AutoSolver<NewSolver, Self>
pub fn with_solver<NewSolver>( self, solver: NewSolver, ) -> AutoSolver<NewSolver, Self>
Instantiate an AutoSolver with the given solvers
Trait Implementations§
Source§impl<SOLVER: Clone, NEXT: Clone> Clone for AutoSolver<SOLVER, NEXT>
impl<SOLVER: Clone, NEXT: Clone> Clone for AutoSolver<SOLVER, NEXT>
Source§fn clone(&self) -> AutoSolver<SOLVER, NEXT>
fn clone(&self) -> AutoSolver<SOLVER, NEXT>
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<A: Default, B: Default> Default for AutoSolver<A, B>
The default AutoSolver contains all supported solvers
impl<A: Default, B: Default> Default for AutoSolver<A, B>
The default AutoSolver contains all supported solvers
Source§impl<S: SolverTrait, T: SolverTrait> SolverTrait for AutoSolver<S, T>
impl<S: SolverTrait, T: SolverTrait> SolverTrait for AutoSolver<S, T>
Auto Trait Implementations§
impl<SOLVER, NEXT> Freeze for AutoSolver<SOLVER, NEXT>
impl<SOLVER, NEXT> RefUnwindSafe for AutoSolver<SOLVER, NEXT>where
SOLVER: RefUnwindSafe,
NEXT: RefUnwindSafe,
impl<SOLVER, NEXT> Send for AutoSolver<SOLVER, NEXT>
impl<SOLVER, NEXT> Sync for AutoSolver<SOLVER, NEXT>
impl<SOLVER, NEXT> Unpin for AutoSolver<SOLVER, NEXT>
impl<SOLVER, NEXT> UnwindSafe for AutoSolver<SOLVER, NEXT>where
SOLVER: UnwindSafe,
NEXT: UnwindSafe,
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