Struct AssumedRange 

pub struct AssumedRange {
    pub var: String,
    pub lo: f64,
    pub hi: f64,
    pub dim: Dimension,
}

A declared input range: Assume x is between lo and hi. (or the Require that spelling — the range IS the enforced RuntimeAssert shape, not the head keyword). The gain-scaling pass’s input: a variable whose runtime value is CONTRACT-bounded to [lo, hi] on every tier.

Fields

var: String

lo: f64

hi: f64

dim: Dimension

The contract’s physical dimension — recovered from the parser’s quantity-bound fold (Assume v is between 0.2 volts and 0.7 volts.). Bare numeric contracts carry Dimension::DIMENSIONLESS. Metadata + coherence in this phase: the artifact bits are identical to the bare twin’s; netlist dimension propagation is a later phase.

Trait Implementations

impl Clone for AssumedRange

fn clone(&self) -> AssumedRange

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AssumedRange

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

Formats the value using the given formatter.

impl PartialEq for AssumedRange

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