Enum moore_svlog::ast::PropBinOp

pub enum PropBinOp {
    Or,
    And,
    Until,
    SUntil,
    UntilWith,
    SUntilWith,
    Impl,
    Iff,
    SeqImplOl,
    SeqImplNol,
    SeqFollowOl,
    SeqFollowNol,
}

Variants

Or

And

Until

SUntil

UntilWith

SUntilWith

Impl

Iff

SeqImplOl

SeqImplNol

SeqFollowOl

SeqFollowNol

Trait Implementations

impl Clone for PropBinOp

fn clone(&self) -> PropBinOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for PropBinOp

impl Debug for PropBinOp

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

Formats the value using the given formatter.

impl Decodable for PropBinOp

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

Deserialize a value using a Decoder.

impl Encodable for PropBinOp

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

Serialize a value using an Encoder.

impl Eq for PropBinOp

impl PartialEq<PropBinOp> for PropBinOp

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

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

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for PropBinOp

impl StructuralPartialEq for PropBinOp