Enum moore_svlog::ast::ConcurrentAssertion

pub enum ConcurrentAssertion {
    AssertProperty(PropSpec, AssertionActionBlock),
    AssumeProperty(PropSpec, AssertionActionBlock),
    CoverProperty(PropSpec, Stmt),
    CoverSequence,
    ExpectProperty(PropSpec, AssertionActionBlock),
    RestrictProperty(PropSpec),
}

Variants

AssertProperty(PropSpec, AssertionActionBlock)

AssumeProperty(PropSpec, AssertionActionBlock)

CoverProperty(PropSpec, Stmt)

CoverSequence

ExpectProperty(PropSpec, AssertionActionBlock)

RestrictProperty(PropSpec)

Trait Implementations

impl Clone for ConcurrentAssertion

fn clone(&self) -> ConcurrentAssertion

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ConcurrentAssertion

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

Formats the value using the given formatter.

impl Decodable for ConcurrentAssertion

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

Deserialize a value using a Decoder.

impl Encodable for ConcurrentAssertion

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

Serialize a value using an Encoder.

impl Eq for ConcurrentAssertion

impl PartialEq<ConcurrentAssertion> for ConcurrentAssertion

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

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

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

This method tests for !=.

impl StructuralEq for ConcurrentAssertion

impl StructuralPartialEq for ConcurrentAssertion