Struct WrappedInterval 

pub struct WrappedInterval { /* private fields */ }

One inclusive interval on the circle of integers modulo 2^64.

References:

• Gange et al., “Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss”: https://doi.org/10.1145/2693264
• LLVM’s production ConstantRange implementation: https://llvm.org/doxygen/classllvm_1_1ConstantRange.html

Implementations

impl WrappedInterval

pub const fn empty() -> Self

pub const fn full() -> Self

pub const fn new(low: u64, high: u64) -> Self

Construct the clockwise arc from low through high, inclusive. low > high deliberately denotes a wrapping interval.

pub const fn from_value(value: u64) -> Self

pub const fn bounds(&self) -> Option<(u64, u64)>

pub fn is_wrapping(&self) -> bool

pub fn contains_value(&self, value: u64) -> bool

pub fn cardinality(&self) -> u128

pub fn as_range_set(&self) -> RangeSet<2>

Split at the unsigned zero point. The conversion is exact.

Trait Implementations

impl Add for WrappedInterval

type Output = WrappedInterval

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self

Performs the + operation.

impl Clone for WrappedInterval

fn clone(&self) -> WrappedInterval

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for WrappedInterval

impl Debug for WrappedInterval

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

Formats the value using the given formatter.

impl Default for WrappedInterval

fn default() -> Self

Returns the “default value” for a type.

impl Eq for WrappedInterval

impl PartialEq for WrappedInterval

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for WrappedInterval