pub enum GoalPauseReason {
User,
BackOff,
NoProgress,
Verification,
Infra,
}Expand description
Reason for pausing a goal. Maps 1:1 to one of the paused variants on
GoalStatus.
Variants§
User
Paused by explicit user request.
BackOff
Paused after repeated classifier failures hit the back-off cap.
NoProgress
Paused because the verifier reported no progress on known gaps.
Verification
Paused because the verifier determined the goal is not achievable.
Infra
Paused due to an infrastructure error.
Trait Implementations§
Source§impl Clone for GoalPauseReason
impl Clone for GoalPauseReason
Source§fn clone(&self) -> GoalPauseReason
fn clone(&self) -> GoalPauseReason
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 GoalPauseReason
Source§impl Debug for GoalPauseReason
impl Debug for GoalPauseReason
impl Eq for GoalPauseReason
Source§impl PartialEq for GoalPauseReason
impl PartialEq for GoalPauseReason
impl StructuralPartialEq for GoalPauseReason
Auto Trait Implementations§
impl Freeze for GoalPauseReason
impl RefUnwindSafe for GoalPauseReason
impl Send for GoalPauseReason
impl Sync for GoalPauseReason
impl Unpin for GoalPauseReason
impl UnsafeUnpin for GoalPauseReason
impl UnwindSafe for GoalPauseReason
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.