Struct Range

pub struct Range {
    pub lower: BigInt,
    pub upper: BigInt,
}

A range of integers ([lower, upper)).

Fields

lower: BigInt

The lower bound (Inclusive).

upper: BigInt

The upper bound (Exclusive).

Implementations

impl Range

pub fn closed(lower: impl Into<BigInt>, upper: impl Into<BigInt>) -> Self

Creates a closed range i.e. [lower, upper].

pub fn half_open(lower: impl Into<BigInt>, upper: impl Into<BigInt>) -> Self

Creates a half-closed range i.e. [lower, upper).

pub fn from_type_info(ty_info: &TypeInfo) -> Result<Self, SpecializationError>

Returns the Range bounds from the given type info.

pub fn from_type( context: &dyn SignatureSpecializationContext, ty: ConcreteTypeId, ) -> Result<Self, SpecializationError>

Returns the Range bounds from the given type.

pub fn is_small_range(&self) -> bool

Returns true if this range is smaller than the RangeCheck range.

pub fn is_full_felt252_range(&self) -> bool

Returns true if this range can contain all possible values of a CASM cell.

pub fn size(&self) -> BigInt

Returns the size of the range.

pub fn intersection(&self, other: &Self) -> Option<Self>

Returns the intersection of self and other.

If the intersection is empty, returns None.

Trait Implementations

impl Clone for Range

fn clone(&self) -> Range

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Range

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

Formats the value using the given formatter.

impl PartialEq for Range

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

impl StructuralPartialEq for Range