pub enum DebugAction {
Resume,
Stop,
}Expand description
What the algorithm should do after a DebugHook returns.
Variants§
Resume
Keep solving.
Stop
Stop the solve now. Surfaces to the caller as
SolverReturn::UserRequestedStop.
Trait Implementations§
Source§impl Clone for DebugAction
impl Clone for DebugAction
Source§fn clone(&self) -> DebugAction
fn clone(&self) -> DebugAction
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for DebugAction
Source§impl Debug for DebugAction
impl Debug for DebugAction
impl Eq for DebugAction
Source§impl PartialEq for DebugAction
impl PartialEq for DebugAction
Source§fn eq(&self, other: &DebugAction) -> bool
fn eq(&self, other: &DebugAction) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for DebugAction
Auto Trait Implementations§
impl Freeze for DebugAction
impl RefUnwindSafe for DebugAction
impl Send for DebugAction
impl Sync for DebugAction
impl Unpin for DebugAction
impl UnsafeUnpin for DebugAction
impl UnwindSafe for DebugAction
Blanket Implementations§
impl<T> Boilerplate for T
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T, U> Imply<T> for U
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