Enum MOp 

#[non_exhaustive]
pub enum MOp {
    Const(BitVec),
    Var(u32),
    Add,
    Sub,
    Mul,
    Neg,
    And,
    Or,
    Xor,
    Not,
    Shl(u16),
    LShr(u16),
    Zext,
    Sext,
    Trunc,
}

An operator of the MBA fragment.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Const(BitVec)

A constant.

Var(u32)

Variable i (an atom of the original expression).

Add

a + b.

Sub

a - b.

Mul

a * b.

Neg

-a.

And

a & b.

Or

a | b.

Xor

a ^ b.

Not

~a.

Shl(u16)

a << k for a constant k below the width.

LShr(u16)

a >>u k for a constant k below the width.

Zext

Zero extension to the node’s width.

Sext

Sign extension to the node’s width.

Trunc

The low bits of a, at the node’s width.

Implementations

impl MOp

pub fn arity(&self) -> usize

The number of operands.

Trait Implementations

impl Clone for MOp

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MOp

impl Debug for MOp

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

Formats the value using the given formatter.

impl Eq for MOp

impl Hash for MOp

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for MOp

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MOp