Struct SRange 

pub struct SRange { /* private fields */ }

The signed interval [lo, hi] (lo <=s hi, no wrap-around).

Implementations

impl SRange

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], if the widths match and lo <=s hi.

pub fn lo(&self) -> BitVec

The lower bound.

pub fn hi(&self) -> BitVec

The upper bound.

pub fn width(&self) -> Width

The width.

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

Whether v is in the interval.

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: &SRange) -> Option<SRange>

The intersection; None if empty or the widths differ.

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

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

Trait Implementations

impl Clone for SRange

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 SRange

impl Debug for SRange

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

Formats the value using the given formatter.

impl Eq for SRange

impl Hash for SRange

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 SRange

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SRange