pub enum Coverage<T> {
Clean(PartitionMatch<T>),
NearMiss,
None,
}Expand description
Outcome of disjoint_cover.
Variants§
Clean(PartitionMatch<T>)
A clean partition: complete (residual 0), disjoint, unambiguous, ≥2 parts, and no single part equals the whole.
NearMiss
whole shares atoms with pool members but the relationship is not clean
— a residual, a shared (ambiguous) token, or a foreign atom. A
conservative consumer declines and reports binoc.possible_split.
None
whole shares no atoms with any pool member — unrelated.
Auto Trait Implementations§
impl<T> Freeze for Coverage<T>where
T: Freeze,
impl<T> RefUnwindSafe for Coverage<T>where
T: RefUnwindSafe,
impl<T> Send for Coverage<T>where
T: Send,
impl<T> Sync for Coverage<T>where
T: Sync,
impl<T> Unpin for Coverage<T>where
T: Unpin,
impl<T> UnsafeUnpin for Coverage<T>where
T: UnsafeUnpin,
impl<T> UnwindSafe for Coverage<T>where
T: 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