Enum moore_svlog_syntax::ast::PropSeqBinOp

pub enum PropSeqBinOp {
    ImplOverlap,
    ImplNonoverlap,
    FollowOverlap,
    FollowNonoverlap,
}

Variants

ImplOverlapImplNonoverlapFollowOverlapFollowNonoverlap

Trait Implementations

impl Debug for PropSeqBinOp

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Clone for PropSeqBinOp

fn clone(&self) -> PropSeqBinOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for PropSeqBinOp

impl PartialEq for PropSeqBinOp

fn eq(&self, __arg_0: &PropSeqBinOp) -> 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 Eq for PropSeqBinOp

impl Encodable for PropSeqBinOp

fn encode<__S: Encoder>(&self, __arg_0: &mut __S) -> Result<(), __S::Error>

Serialize a value using an Encoder.

impl Decodable for PropSeqBinOp

fn decode<__D: Decoder>(__arg_0: &mut __D) -> Result<PropSeqBinOp, __D::Error>

Deserialize a value using a Decoder.