Enum moore_svlog::ast::SeqRep

pub enum SeqRep {
    Consec(Expr),
    ConsecStar,
    ConsecPlus,
    Nonconsec(Expr),
    Goto(Expr),
}

Variants

Consec(Expr)

ConsecStar

ConsecPlus

Nonconsec(Expr)

Goto(Expr)

Trait Implementations

impl Clone for SeqRep

fn clone(&self) -> SeqRep

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SeqRep

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

Formats the value using the given formatter.

impl Decodable for SeqRep

fn decode<__D>(d: &mut __D) -> Result<SeqRep, <__D as Decoder>::Error> where
    __D: Decoder, 

Deserialize a value using a Decoder.

impl Encodable for SeqRep

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

Serialize a value using an Encoder.

impl Eq for SeqRep

impl PartialEq<SeqRep> for SeqRep

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

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

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

This method tests for !=.

impl StructuralEq for SeqRep

impl StructuralPartialEq for SeqRep