Struct Bv 

pub struct Bv<S: Size + ?Sized> { /* private fields */ }

An unsigned integer (bitvector), whose size is indicated by the type parameter S.

Implementations

impl<S: Size> Bv<S>

pub const ZERO: Self

pub const ONE: Self

pub const MAX: Self

impl<S: Size> Bv<S>

pub fn overflowing_add(self, other: Bv<S>) -> (Bv<S>, bool)

pub fn overflowing_sub(self, other: Bv<S>) -> (Bv<S>, bool)

pub fn overflowing_mul(self, other: Bv<S>) -> (Bv<S>, bool)

pub fn leading_zeros(self) -> u32

Trait Implementations

impl<S: Size> Add for Bv<S>

type Output = Bv<S>

The resulting type after applying the + operator.

fn add(self, other: Bv<S>) -> Bv<S>

Performs the + operation.

impl<S: Size> BitAnd for Bv<S>

type Output = Bv<S>

The resulting type after applying the & operator.

fn bitand(self, other: Bv<S>) -> Bv<S>

Performs the & operation.

impl<S: Size> BitOr for Bv<S>

type Output = Bv<S>

The resulting type after applying the | operator.

fn bitor(self, other: Bv<S>) -> Bv<S>

Performs the | operation.

impl<S: Size> BitXor for Bv<S>

type Output = Bv<S>

The resulting type after applying the ^ operator.

fn bitxor(self, other: Bv<S>) -> Bv<S>

Performs the ^ operation.

impl<S: Size> Clone for Bv<S>

fn clone(&self) -> Bv<S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Size> Div for Bv<S>

type Output = Bv<S>

The resulting type after applying the / operator.

fn div(self, other: Bv<S>) -> Bv<S>

Performs the / operation.

impl<S: Size> From<Bv<S>> for i128

fn from(x: Bv<S>) -> i128

Converts to this type from the input type.

impl<S: Size> From<Bv<S>> for i16

fn from(x: Bv<S>) -> i16

Converts to this type from the input type.

impl<S: Size> From<Bv<S>> for i32

fn from(x: Bv<S>) -> i32

Converts to this type from the input type.

impl<S: Size> From<Bv<S>> for i64

fn from(x: Bv<S>) -> i64

Converts to this type from the input type.

impl<S: Size> From<Bv<S>> for i8

fn from(x: Bv<S>) -> i8

Converts to this type from the input type.

impl<S: Size> From<Bv<S>> for isize

fn from(x: Bv<S>) -> isize

Converts to this type from the input type.

impl<S: Size> From<Bv<S>> for u128

fn from(x: Bv<S>) -> u128

Converts to this type from the input type.

impl<S: Size> From<Bv<S>> for u16

fn from(x: Bv<S>) -> u16

Converts to this type from the input type.

impl<S: Size> From<Bv<S>> for u32

fn from(x: Bv<S>) -> u32

Converts to this type from the input type.

impl<S: Size> From<Bv<S>> for u64

fn from(x: Bv<S>) -> u64

Converts to this type from the input type.

impl<S: Size> From<Bv<S>> for u8

fn from(x: Bv<S>) -> u8

Converts to this type from the input type.

impl<S: Size> From<Bv<S>> for usize

fn from(x: Bv<S>) -> usize

Converts to this type from the input type.

impl From<Bv<_128>> for Bv<_256>

fn from(x: Bv<_128>) -> Bv<_256>

Converts to this type from the input type.

impl From<Bv<_128>> for Bv<_512>

fn from(x: Bv<_128>) -> Bv<_512>

Converts to this type from the input type.

impl From<Bv<_256>> for Bv<_128>

fn from(x: Bv<_256>) -> Bv<_128>

Converts to this type from the input type.

impl From<Bv<_256>> for Bv<_512>

fn from(x: Bv<_256>) -> Bv<_512>

Converts to this type from the input type.

impl From<Bv<_512>> for Bv<_128>

fn from(x: Bv<_512>) -> Bv<_128>

Converts to this type from the input type.

impl From<Bv<_512>> for Bv<_256>

fn from(x: Bv<_512>) -> Bv<_256>

Converts to this type from the input type.

impl<S: Size> From<i128> for Bv<S>

fn from(x: i128) -> Bv<S>

Converts to this type from the input type.

impl<S: Size> From<i16> for Bv<S>

fn from(x: i16) -> Bv<S>

Converts to this type from the input type.

impl<S: Size> From<i32> for Bv<S>

fn from(x: i32) -> Bv<S>

Converts to this type from the input type.

impl<S: Size> From<i64> for Bv<S>

fn from(x: i64) -> Bv<S>

Converts to this type from the input type.

impl<S: Size> From<i8> for Bv<S>

fn from(x: i8) -> Bv<S>

Converts to this type from the input type.

impl<S: Size> From<isize> for Bv<S>

fn from(x: isize) -> Bv<S>

Converts to this type from the input type.

impl<S: Size> From<u128> for Bv<S>

fn from(x: u128) -> Bv<S>

Converts to this type from the input type.

impl<S: Size> From<u16> for Bv<S>

fn from(x: u16) -> Bv<S>

Converts to this type from the input type.

impl<S: Size> From<u32> for Bv<S>

fn from(x: u32) -> Bv<S>

Converts to this type from the input type.

impl<S: Size> From<u64> for Bv<S>

fn from(x: u64) -> Bv<S>

Converts to this type from the input type.

impl<S: Size> From<u8> for Bv<S>

fn from(x: u8) -> Bv<S>

Converts to this type from the input type.

impl<S: Size> From<usize> for Bv<S>

fn from(x: usize) -> Bv<S>

Converts to this type from the input type.

impl<S: Size> Mul for Bv<S>

type Output = Bv<S>

The resulting type after applying the * operator.

fn mul(self, other: Bv<S>) -> Bv<S>

Performs the * operation.

impl<S: Size> Not for Bv<S>

type Output = Bv<S>

The resulting type after applying the ! operator.

fn not(self) -> Bv<S>

Performs the unary ! operation.

impl<S: Size> Ord for Bv<S>

fn cmp(&self, other: &Bv<S>) -> Ordering

This method returns an [Ordering] between self and other.

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

where Self: Sized,

Compares and returns the maximum of two values.

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

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<S: Size> PartialEq for Bv<S>

fn eq(&self, other: &Bv<S>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<S: Size> PartialOrd for Bv<S>

fn partial_cmp(&self, other: &Bv<S>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Bv<S>) -> bool

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<S: Size> Rem for Bv<S>

type Output = Bv<S>

The resulting type after applying the % operator.

fn rem(self, other: Bv<S>) -> Bv<S>

Performs the % operation.

impl<S: Size> Shl<usize> for Bv<S>

type Output = Bv<S>

The resulting type after applying the << operator.

fn shl(self, shift: usize) -> Bv<S>

Performs the << operation.

impl<S: Size> Shr<usize> for Bv<S>

type Output = Bv<S>

The resulting type after applying the >> operator.

fn shr(self, shift: usize) -> Bv<S>

Performs the >> operation.

impl<S: Size> Sub for Bv<S>

type Output = Bv<S>

The resulting type after applying the - operator.

fn sub(self, other: Bv<S>) -> Bv<S>

Performs the - operation.

impl<S: Size> Symbolic for Bv<S>

fn symbolic(desc: &str) -> Bv<S>

Create a new symbolic value of this type. desc is used to refer to this symbolic value when printing counterexamples.

fn symbolic_where<F: FnOnce(&Self) -> bool>(desc: &str, f: F) -> Self

Create a new symbolic value, subject to constraints. The result is a symbolic value of this type on which f returns true.

impl<S: Size> Copy for Bv<S>

impl<S: Size> Eq for Bv<S>