Enum CondUnaryOp 

pub enum CondUnaryOp {
    BitwiseNot,
    ReductionAnd,
    ReductionOr,
    ReductionXor,
    ReductionNand,
    ReductionNor,
    ReductionXnor,
    LogicalNot,
}

LRM 1800-2023 Table 30-1’s own eight UNARY operators valid in a state-dependent path’s if (cond) conditional expression (30.4.4.1, Task 8). A one-to-one subset of sv_lang::UnaryOp’s own variants – Self::from_sv is the one, exhaustive translation point: every UnaryOp variant is named explicitly (never a wildcard _ arm), so a future UnaryOp addition fails to compile here instead of silently being accepted or silently being rejected.

Variants

BitwiseNot

~ – bitwise negation (per-bit, width-preserving; NOT a reduction).

ReductionAnd

& – reduction AND.

ReductionOr

| – reduction OR.

ReductionXor

^ – reduction XOR.

ReductionNand

~& – reduction NAND.

ReductionNor

~| – reduction NOR.

ReductionXnor

^~/~^ – reduction XNOR.

LogicalNot

! – logical NOT.

Trait Implementations

impl Clone for CondUnaryOp

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 CondUnaryOp

impl Debug for CondUnaryOp

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CondUnaryOp

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CondUnaryOp

impl PartialEq for CondUnaryOp

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CondUnaryOp

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 CondUnaryOp