Trait baa::ArrayOps

pub trait ArrayOps {
    // Required methods
    fn index_width(&self) -> WidthInt;
    fn data_width(&self) -> WidthInt;
    fn words(&self) -> &[Word];

    // Provided methods
    fn words_per_element(&self) -> usize { ... }
    fn num_elements(&self) -> usize { ... }
    fn select<'a>(
        &self,
        index: impl Into<BitVecValueRef<'a>>,
    ) -> BitVecValueRef<'_> { ... }
    fn is_equal<R: ArrayOps + ?Sized>(&self, rhs: &R) -> bool { ... }
}

Operations implemented by read-only array values with a dense representation.

Required Methods

fn index_width(&self) -> WidthInt

fn data_width(&self) -> WidthInt

fn words(&self) -> &[Word]

Provided Methods

fn words_per_element(&self) -> usize

fn num_elements(&self) -> usize

fn select<'a>(&self, index: impl Into<BitVecValueRef<'a>>) -> BitVecValueRef<'_>

fn is_equal<R: ArrayOps + ?Sized>(&self, rhs: &R) -> bool

Object Safety

This trait is not object safe.

Implementors

impl ArrayOps for ArrayValue

impl<'a> ArrayOps for ArrayValueMutRef<'a>

impl<'a> ArrayOps for ArrayValueRef<'a>