Enum moore_svlog::hir::BinaryOp

pub enum BinaryOp {
    Add,
    Sub,
    Mul,
    Div,
    Mod,
    Pow,
    Eq,
    Neq,
    Lt,
    Leq,
    Gt,
    Geq,
    LogicAnd,
    LogicOr,
    BitAnd,
    BitNand,
    BitOr,
    BitNor,
    BitXor,
    BitXnor,
    LogicShL,
    LogicShR,
    ArithShL,
    ArithShR,
}

The different binary operators.

Variants

Add

The addition operator x + y.

Sub

The subtraction operator x - y.

Mul

The multiplication operator x * y.

Div

The division operator x / y.

Mod

The modulus operator x % y.

Pow

The power operator x ** y.

Eq

The equality operator x == y.

Neq

The inequality operator x != y.

Lt

The less-than operator x < y.

Leq

The less-than-or-equal operator x <= y.

Gt

The greater-than operator x > y.

Geq

The greater-than-or-equal operator x >= y.

LogicAnd

The logic and operator x && y.

LogicOr

The logic or operator x || y.

BitAnd

The bitwise and operator x & y.

BitNand

The bitwise not-and operator x ~& y.

BitOr

The bitwise or operator x | y.

BitNor

The bitwise not-or operator x ~| y.

BitXor

The bitwise exclusive-or operator x ^ y.

BitXnor

The bitwise exclusive-not-or operator x ^~ y or x ~^ y.

LogicShL

The logic left shift operator x << y.

LogicShR

The logic right shift operator x >> y.

ArithShL

The arithmetic left shift operator x <<< y.

ArithShR

The arithmetic right shift operator x >>> y.

Trait Implementations

impl Clone for BinaryOp

fn clone(&self) -> BinaryOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BinaryOp

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

Formats the value using the given formatter.

impl HasDesc for BinaryOp

fn desc(&self) -> &'static str

Obtain a human-readable descriptive name for this node.

fn desc_full(&self) -> String

Obtain a human-readable description for this node, possibly containing the node’s name.

impl PartialEq<BinaryOp> for BinaryOp

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Copy for BinaryOp

impl Eq for BinaryOp

impl StructuralEq for BinaryOp

impl StructuralPartialEq for BinaryOp