Enum BitVecBoundedOp 

pub enum BitVecBoundedOp {
    And,
    Or,
    Xor,
    Not,
    Shl,
    Shr,
    AShr,
    Add,
    Sub,
    Mul,
    ULt,
    SLt,
    Eq,
}

Bitvector operations in bounded IR.

Variants

And

Or

Xor

Not

Shl

Shr

AShr

Add

Sub

Mul

ULt

SLt

Eq

Trait Implementations

impl Clone for BitVecBoundedOp

fn clone(&self) -> BitVecBoundedOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BitVecBoundedOp

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

Formats the value using the given formatter.

impl PartialEq for BitVecBoundedOp

fn eq(&self, other: &BitVecBoundedOp) -> 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 Copy for BitVecBoundedOp

impl Eq for BitVecBoundedOp

impl StructuralPartialEq for BitVecBoundedOp