Enum CondBinaryOp 

pub enum CondBinaryOp {
    BitwiseAnd,
    BitwiseOr,
    BitwiseXor,
    BitwiseXnor,
    Equality,
    Inequality,
    LogicalAnd,
    LogicalOr,
    CaseEquality,
    CaseInequality,
}

LRM Table 30-1’s own eight BINARY operators valid in a state-dependent path’s conditional expression – the binary-operator sibling of CondUnaryOp, same exhaustive-translation discipline (Self::from_sv).

Variants

BitwiseAnd

& – bitwise AND (two operands; distinct from [CondUnaryOp:: ReductionAnd]’s single-operand reduction form, Table 30-1 lists both under the same glyph).

BitwiseOr

| – bitwise OR.

BitwiseXor

^ – bitwise XOR.

BitwiseXnor

^~/~^ – bitwise XNOR.

Equality

== – logical equality.

Inequality

!= – logical inequality.

LogicalAnd

&& – logical AND.

LogicalOr

|| – logical OR.

CaseEquality

=== – case equality. Table 30-1 does not list it, so a module path condition never produces it (Self::from_sv); LRM 31.7’s scalar_timing_check_condition does (Self::from_sv_check), and a timing check’s &&& condition is the only producer.

CaseInequality

!== – case inequality (see Self::CaseEquality).

Trait Implementations

impl Clone for CondBinaryOp

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 CondBinaryOp

impl Debug for CondBinaryOp

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CondBinaryOp

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CondBinaryOp

impl PartialEq for CondBinaryOp

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CondBinaryOp

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CondBinaryOp