Struct URange 

pub struct URange { /* private fields */ }

The unsigned strided interval {lo, lo + stride, lo + 2·stride, …, hi} (lo <=u hi, no wrap-around). The stride is 0 exactly when lo == hi, and otherwise divides hi − lo, so both bounds are members. A stride of 1 is the plain interval [lo, hi].

Implementations

impl URange

pub fn full(w: Width) -> Self

Every value.

pub fn constant(v: &BitVec) -> Self

One value.

pub fn new(lo: BitVec, hi: BitVec) -> Option<Self>

[lo, hi] (stride 1), if the widths match and lo <=u hi.

pub fn strided(lo: BitVec, hi: BitVec, stride: u64) -> Option<Self>

{lo, lo + stride, …, hi}, if the widths match, lo <=u hi, and stride is at least 1 and divides hi − lo (when lo == hi, one value whatever the stride).

pub fn lo(&self) -> BitVec

The lower bound (a member).

pub fn hi(&self) -> BitVec

The upper bound (a member).

pub fn stride(&self) -> u64

The distance between consecutive members: 0 for one value, 1 for a plain interval.

pub fn width(&self) -> Width

The width.

pub fn contains(&self, v: &BitVec) -> bool

Whether v is a member.

pub fn is_full(&self) -> bool

Whether the interval is every value.

pub fn as_constant(&self) -> Option<BitVec>

The single value, if the interval has one.

pub fn meet(&self, o: &URange) -> Option<URange>

The intersection; None if empty or the widths differ.

pub fn join(&self, o: &URange) -> Option<URange>

The smallest strided interval containing both; None if the widths differ.

Trait Implementations

impl Clone for URange

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for URange

impl Debug for URange

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

Formats the value using the given formatter.

impl Eq for URange

impl Hash for URange

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for URange

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for URange