Struct RangeClaim 

pub struct RangeClaim {
    pub input_lo: Vec<f64>,
    pub input_hi: Vec<f64>,
    pub scale_log2: Vec<i32>,
    pub node_lo_v: Vec<f64>,
    pub node_hi_v: Vec<f64>,
    pub rail_half_span_v: f64,
    pub noise_floor_v: f64,
    pub min_full_scale_over_noise: f64,
}

The claim under judgment: declared math-domain input boxes, per-net power-of-two scales, claimed VOLT-domain per-node bounds, and the physical envelope they must respect.

Fields

input_lo: Vec<f64>

Declared math-domain input bounds, one per plane input.

input_hi: Vec<f64>

scale_log2: Vec<i32>

Per-cell power-of-two scale exponent: volt = 2^scale_log2 · math (exact in f64).

node_lo_v: Vec<f64>

Claimed volt-domain bounds, one per cell.

node_hi_v: Vec<f64>

rail_half_span_v: f64

The usable half-span around mid-rail in volts (headroom already applied by the producer; this checker takes it as the hard wall).

noise_floor_v: f64

The noise floor in volts (0.0 for an ideal target — disables check 3).

min_full_scale_over_noise: f64

Required ratio of a node’s full scale to the noise floor (dynamic-range demand).

Trait Implementations

impl Clone for RangeClaim

fn clone(&self) -> RangeClaim

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RangeClaim

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

Formats the value using the given formatter.

impl PartialEq for RangeClaim

fn eq(&self, other: &RangeClaim) -> 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 StructuralPartialEq for RangeClaim