Struct Znum 

pub struct Znum { /* private fields */ }

Tracks which bits “may be 1s” (o) and “may be 0s” (z)

Compared to other bit domains, the Z domain requires minimal storage, which is not scaled with the number of operations, but as a result the accuracy of the domain is somewhat limited.

• “Abstract Domains for Bit-Level Machine Integer and Floating-point Operations”
• Published proceedings entry and DOI: https://doi.org/10.29007/b63g

Implementations

impl Znum

pub const fn from_parts(ones: u64, zeros: u64) -> Self

pub const fn from_value(v: u64) -> Self

From a value, generate a Znum

The resulting Znum only contains the provided value v, and no other values. It is considered a “constant”

pub const fn is_const(&self) -> bool

Is there only a single contained value?

pub const fn value(&self) -> Option<u64>

If this is a constant (only a single contained value), return that value. Otherwise, return None.

pub const fn is_defined(&self) -> bool

Is any value contained in this?

In other words, are there no undefined bits?

pub const fn contains_value(&self, v: u64) -> bool

Is a specific value contained in this?

pub const fn union(&self, other: Self) -> Self

Return the least Z-domain containing every value in either operand.

pub const fn contains(&self, other: Self) -> bool

self includes all possible elements in other

pub const fn intersection(&self, other: Self) -> Self

Return the values represented by both operands.

pub const fn has_value(&self) -> bool

pub const fn max_value(&self) -> Option<u64>

pub const fn min_value(&self) -> Option<u64>

pub const fn unsigned_bounds(&self) -> Option<(u64, u64)>

pub const fn signed_bounds(&self) -> Option<(i64, i64)>

pub const fn bit_or(self, other: Self) -> Self

pub const fn bit_and(self, other: Self) -> Self

pub const fn bit_xor(self, other: Self) -> Self

pub const fn bit_not(self) -> Self

pub const fn add(self, other: Self) -> Self

pub const fn subtract(self, other: Self) -> Self

pub const fn shift_left(self, shift: u8) -> Self

pub const fn shift_right(self, shift: u8) -> Self

pub const fn negate(self) -> Self

pub const fn multiply(self, other: Self) -> Self

pub const fn checked_div(self, other: Self) -> Option<Self>

Divide by other, returning None when it can only be zero.

If other contains both zero and nonzero values, the result describes the divisions by its nonzero values.

pub const fn divide(self, other: Self) -> Self

pub const fn remainder(self, other: Self) -> Self

Trait Implementations

impl Add for Znum

type Output = Znum

The resulting type after applying the + operator.

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

Performs the + operation.

impl BitAnd for Znum

type Output = Znum

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitOr for Znum

type Output = Znum

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitXor for Znum

type Output = Znum

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl Clone for Znum

fn clone(&self) -> Znum

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Znum

impl Debug for Znum

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

Formats the value using the given formatter.

impl Default for Znum

fn default() -> Self

Default is a completely unknown value.

impl Div for Znum

type Output = Znum

The resulting type after applying the / operator.

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

Performs the / operation.

impl Eq for Znum

impl Mul for Znum

type Output = Znum

The resulting type after applying the * operator.

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

Performs the * operation.

impl Neg for Znum

type Output = Znum

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl Not for Znum

type Output = Znum

The resulting type after applying the ! operator.

fn not(self) -> Self

Performs the unary ! operation.

impl PartialEq for Znum

fn eq(&self, other: &Znum) -> bool

Equality operator ==.

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

Inequality operator !=.

impl Rem for Znum

type Output = Znum

The resulting type after applying the % operator.

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

Performs the % operation.

impl Shl<u8> for Znum

type Output = Znum

The resulting type after applying the << operator.

fn shl(self, shift: u8) -> Self

Performs the << operation.

impl Shr<u8> for Znum

type Output = Znum

The resulting type after applying the >> operator.

fn shr(self, shift: u8) -> Self

Performs the >> operation.

impl StructuralPartialEq for Znum

impl Sub for Znum

type Output = Znum

The resulting type after applying the - operator.

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

Performs the - operation.