Struct SizeBound 

pub struct SizeBound {
    pub levels: u64,
    pub max_width: u64,
    pub bound: u64,
    pub actual: u64,
}

A certified upper bound on a refutation’s size, read off a valid rank descent.

Fields

levels: u64

The number of distinct rank levels the measure passes through.

max_width: u64

The largest number of steps at any single rank level (the per-level “width”).

bound: u64

The certified upper bound on the step count: levels · max_width.

actual: u64

The actual step count (always ≤ bound).

Trait Implementations

impl Clone for SizeBound

fn clone(&self) -> SizeBound

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SizeBound

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

Formats the value using the given formatter.

impl PartialEq for SizeBound

fn eq(&self, other: &SizeBound) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for SizeBound

impl Eq for SizeBound

impl StructuralPartialEq for SizeBound