Struct BitVecValueMutRef 

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

Implementations

impl<'a> BitVecValueMutRef<'a>

pub fn new(width: WidthInt, words: &'a mut [Word]) -> Self

Trait Implementations

impl BitVecMutOps for BitVecValueMutRef<'_>

fn words_mut(&mut self) -> &mut [Word]

fn add_in_place(&mut self, lhs: &impl BitVecOps, rhs: &impl BitVecOps)

fn sub_in_place(&mut self, lhs: &impl BitVecOps, rhs: &impl BitVecOps)

fn shift_left_in_place(&mut self, lhs: &impl BitVecOps, rhs: &impl BitVecOps)

fn shift_right_in_place(&mut self, lhs: &impl BitVecOps, rhs: &impl BitVecOps)

fn arithmetic_shift_right_in_place( &mut self, lhs: &impl BitVecOps, rhs: &impl BitVecOps, )

fn mul_in_place(&mut self, lhs: &impl BitVecOps, rhs: &impl BitVecOps)

fn and_in_place(&mut self, lhs: &impl BitVecOps, rhs: &impl BitVecOps)

fn or_in_place(&mut self, lhs: &impl BitVecOps, rhs: &impl BitVecOps)

fn xor_in_place(&mut self, lhs: &impl BitVecOps, rhs: &impl BitVecOps)

fn concat_in_place(&mut self, lhs: &impl BitVecOps, rhs: &impl BitVecOps)

fn slice_in_place(&mut self, src: &impl BitVecOps, msb: WidthInt, lsb: WidthInt)

fn not_in_place(&mut self)

fn negate_in_place(&mut self)

fn sign_extend_in_place(&mut self, src: &impl BitVecOps, by: WidthInt)

fn zero_extend_in_place(&mut self, src: &impl BitVecOps, by: WidthInt)

fn assign<'a>(&mut self, value: impl Into<BitVecValueRef<'a>>)

fn mask_msb(&mut self)

ensures that all unused bits in the most significant word are set to zero

fn clear(&mut self)

sets all bits to zero

fn assign_ones(&mut self)

sets all bits to one

fn assign_from_u64(&mut self, value: u64)

fn assign_from_u128(&mut self, value: u128)

fn assign_from_i64(&mut self, value: i64)

fn assign_from_str_radix( &mut self, value: &str, radix: u32, ) -> Result<(), ParseIntError>

fn set_bit(&mut self, pos: WidthInt)

fn clear_bit(&mut self, pos: WidthInt)

impl BitVecOps for BitVecValueMutRef<'_>

fn width(&self) -> WidthInt

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

fn to_bit_str(&self) -> String

Convert to a string of 1s and 0s.

fn to_bit_str_signed(&self) -> String

Convert to a string of 1s and 0s with a - if the value is negative.

fn to_hex_str(&self) -> String

Convert to a string of hex characters

fn to_dec_str(&self) -> String

Convert to a string of a decimal number. No leading zeros.

fn to_hex_str_signed(&self) -> String

Convert to a string of hex characters with a - if the value is negative.

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_true(&self) -> bool

fn is_false(&self) -> bool

fn is_zero(&self) -> bool

fn is_one(&self) -> bool

fn is_all_ones(&self) -> bool

fn is_negative(&self) -> bool

fn is_pow_2(&self) -> Option<WidthInt>

fn min_width(&self) -> WidthInt

Computes the minimum number of bits that are necessary to represent the current value. This corresponds to the position of the most significant 1 plus one.

fn bit_set_intervals(&self) -> Vec<Range<WidthInt>>

Computes all ranges for which the bits are one.

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 is_bit_set(&self, pos: WidthInt) -> bool

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 Debug for BitVecValueMutRef<'_>

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

Formats the value using the given formatter.

impl<'a> From<&'a mut BitVecValue> for BitVecValueMutRef<'a>

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

Converts to this type from the input type.

impl<'a, I> IndexToMutRef<I, BitVecValueMutRef<'a>> for &'a mut [Word]

where I: Borrow<BitVecValueIndex>,

fn get_mut_ref(self, index: I) -> BitVecValueMutRef<'a>