Struct BitRange 

pub struct BitRange<const K: usize = 2> { /* private fields */ }

Reduced product of a bounded interval union and known/unknown bits.

Its concrete values satisfy both components. Reduction exchanges cheap unsigned-bound and common-bit facts after construction and operations.

This follows the reduced-product pattern used by the Linux eBPF verifier, which maintains signed bounds, unsigned bounds, and a tnum together: https://docs.kernel.org/bpf/verifier.html#register-value-tracking LLVM implements the analogous conversions between ConstantRange and KnownBits: https://github.com/llvm/llvm-project/blob/main/llvm/lib/IR/ConstantRange.cpp

Implementations

impl<const K: usize> BitRange<K>

pub fn new(ranges: RangeSet<K>, bits: Tnum) -> Self

pub fn from_value(value: u64) -> Self

pub fn from_ranges(ranges: RangeSet<K>) -> Self

pub fn from_bits(bits: Tnum) -> Self

pub fn ranges(&self) -> RangeSet<K>

pub fn bits(&self) -> Tnum

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

pub fn is_empty(&self) -> bool

pub fn union(self, other: Self) -> Self

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

Trait Implementations

impl<const K: usize> Add for BitRange<K>

type Output = BitRange<K>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<const K: usize> Clone for BitRange<K>

fn clone(&self) -> BitRange<K>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const K: usize> Copy for BitRange<K>

impl<const K: usize> Debug for BitRange<K>

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

Formats the value using the given formatter.

impl<const K: usize> Default for BitRange<K>

fn default() -> Self

Returns the “default value” for a type.

impl<const K: usize> Eq for BitRange<K>

impl<const K: usize> PartialEq for BitRange<K>

fn eq(&self, other: &BitRange<K>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<const K: usize> StructuralPartialEq for BitRange<K>