Struct baa::ArrayValueRef

pub struct ArrayValueRef<'a> { /* private fields */ }

Bit-vector array value that does not own its storage.

Trait Implementations

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

fn index_width(&self) -> WidthInt

fn data_width(&self) -> WidthInt

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

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

impl<'a> Clone for ArrayValueRef<'a>

fn clone(&self) -> ArrayValueRef<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for ArrayValueRef<'a>

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

Formats the value using the given formatter.

impl<'a> From<&'a ArrayValue> for ArrayValueRef<'a>

fn from(value: &'a ArrayValue) -> Self

Converts to this type from the input type.

impl<'a> From<ArrayValueRef<'a>> for ValueRef<'a>

fn from(value: ArrayValueRef<'a>) -> Self

Converts to this type from the input type.

impl<'a, I> IndexToRef<I, ArrayValueRef<'a>> for &'a [Word]

where I: Borrow<ArrayValueIndex>,

fn get_ref(self, index: I) -> ArrayValueRef<'a>

impl<'a> TryFrom<ValueRef<'a>> for ArrayValueRef<'a>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: ValueRef<'a>) -> Result<Self, Self::Error>

Performs the conversion.