#[non_exhaustive]pub enum ProgramEventKind {
VertexSetChanged,
EdgeSetChanged,
ThresholdCrossing,
GuardFailed,
AtomRebuilt,
ReductionSuffixRepaired,
SeparatorContractChanged,
}Expand description
Why a program update changed execution state.
Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
VertexSetChanged
The labeled vertex set changed.
EdgeSetChanged
The complete listed edge set changed.
ThresholdCrossing
An edge crossed the fixed threshold.
GuardFailed
A result-sensitive algebraic guard failed.
AtomRebuilt
A touched cyclic atom rebuilt its explained state.
ReductionSuffixRepaired
A touched cyclic atom repaired a reduction suffix.
SeparatorContractChanged
A wider separator stopped being a zero-filtration simplex.
Trait Implementations§
Source§impl Clone for ProgramEventKind
impl Clone for ProgramEventKind
Source§fn clone(&self) -> ProgramEventKind
fn clone(&self) -> ProgramEventKind
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 ProgramEventKind
Source§impl Debug for ProgramEventKind
impl Debug for ProgramEventKind
impl Eq for ProgramEventKind
Source§impl PartialEq for ProgramEventKind
impl PartialEq for ProgramEventKind
impl StructuralPartialEq for ProgramEventKind
Auto Trait Implementations§
impl Freeze for ProgramEventKind
impl RefUnwindSafe for ProgramEventKind
impl Send for ProgramEventKind
impl Sync for ProgramEventKind
impl Unpin for ProgramEventKind
impl UnsafeUnpin for ProgramEventKind
impl UnwindSafe for ProgramEventKind
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§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