Struct DeltaDebuggingBitmapValueTree 

pub struct DeltaDebuggingBitmapValueTree { /* private fields */ }

This struct holds the state needed for an implementation of the delta debugging algorithm on bitmaps.

Together with proptest’s shrinking code and the ValueTree implementation, this shrinks bitmaps in O(log(n)) time to a single bit causing a failure, or shrinks bitmaps in O(n²) time to exactly the bits causing the failure (more precisely: a set of bits where removing a single one of them will make the failure go away).

Implementations

impl DeltaDebuggingBitmapValueTree

pub fn new(bitmap: RoaringBitmap) -> Self

Trait Implementations

impl Debug for DeltaDebuggingBitmapValueTree

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl ValueTree for DeltaDebuggingBitmapValueTree

type Value = RoaringBitmap

The type of the value produced by this ValueTree.

fn current(&self) -> Self::Value

Returns the current value.

fn simplify(&mut self) -> bool

Attempts to simplify the current value. Notionally, this sets the “high” value to the current value, and the current value to a “halfway point” between high and low, rounding towards low.

fn complicate(&mut self) -> bool

Attempts to partially undo the last simplification. Notionally, this sets the “low” value to one plus the current value, and the current value to a “halfway point” between high and the new low, rounding towards low.