Struct baa::BitVecValueRef

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

Bit-vector value that does not own its storage.

Trait Implementations

impl<'a> BitVecOps for BitVecValueRef<'a>

fn width(&self) -> WidthInt

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

fn to_bit_str(&self) -> String

Convert to a string of 1s and 0s.

fn to_bytes_le(&self) -> Vec<u8>

fn to_bool(&self) -> Option<bool>

Returns value as a bool iff the value is a 1-bit value.

fn to_u64(&self) -> Option<u64>

Returns the value as a 64-bit unsigned integer if the value can be represented

fn to_i64(&self) -> Option<i64>

Returns the value as a 64-bit signed integer if the value can be represented

fn is_zero(&self) -> bool

fn is_negative(&self) -> bool

fn add<R: BitVecOps>(&self, rhs: &R) -> BitVecValue

fn sub<R: BitVecOps>(&self, rhs: &R) -> BitVecValue

fn shift_left<R: BitVecOps>(&self, rhs: &R) -> BitVecValue

fn shift_right<R: BitVecOps>(&self, rhs: &R) -> BitVecValue

fn arithmetic_shift_right<R: BitVecOps>(&self, rhs: &R) -> BitVecValue

fn mul<R: BitVecOps>(&self, rhs: &R) -> BitVecValue

fn and<R: BitVecOps>(&self, rhs: &R) -> BitVecValue

fn or<R: BitVecOps>(&self, rhs: &R) -> BitVecValue

fn xor<R: BitVecOps>(&self, rhs: &R) -> BitVecValue

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

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

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

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

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

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

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

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

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

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

fn slice(&self, msb: WidthInt, lsb: WidthInt) -> BitVecValue

fn sign_extend(&self, by: WidthInt) -> BitVecValue

fn zero_extend(&self, by: WidthInt) -> BitVecValue

fn not(&self) -> BitVecValue

fn negate(&self) -> BitVecValue

fn concat<R: BitVecOps + ?Sized>(&self, rhs: &R) -> BitVecValue

impl<'a> Clone for BitVecValueRef<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for BitVecValueRef<'a>

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

Formats the value using the given formatter.

impl<'a> From<&'a BitVecValue> for BitVecValueRef<'a>

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

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

where I: Borrow<BitVecValueIndex>,

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

impl<'a> TryFrom<ValueRef<'a>> for BitVecValueRef<'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.

impl<'a> Copy for BitVecValueRef<'a>