Enum moore_svlog::ast::ConcurrentAssertion

pub enum ConcurrentAssertion<'a> {
    AssertProperty(PropSpec, AssertionActionBlock<'a>),
    AssumeProperty(PropSpec, AssertionActionBlock<'a>),
    CoverProperty(PropSpec, Node<'a, StmtData<'a>>),
    CoverSequence,
    ExpectProperty(PropSpec, AssertionActionBlock<'a>),
    RestrictProperty(PropSpec),
}

Variants

AssertProperty(PropSpec, AssertionActionBlock<'a>)

Tuple Fields of AssertProperty

0: PropSpec1: AssertionActionBlock<'a>

AssumeProperty(PropSpec, AssertionActionBlock<'a>)

Tuple Fields of AssumeProperty

0: PropSpec1: AssertionActionBlock<'a>

CoverProperty(PropSpec, Node<'a, StmtData<'a>>)

Tuple Fields of CoverProperty

0: PropSpec1: Node<'a, StmtData<'a>>

CoverSequence

ExpectProperty(PropSpec, AssertionActionBlock<'a>)

Tuple Fields of ExpectProperty

0: PropSpec1: AssertionActionBlock<'a>

RestrictProperty(PropSpec)

Tuple Fields of RestrictProperty

0: PropSpec

Trait Implementations

impl<'a> AcceptVisitor<'a> for ConcurrentAssertion<'a>

pub fn accept(&'a self, visitor: &mut dyn Visitor<'a>)

Walk a visitor over the contents of self.

impl<'a> Clone for ConcurrentAssertion<'a>

pub fn clone(&self) -> ConcurrentAssertion<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for ConcurrentAssertion<'a>

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

Formats the value using the given formatter.

impl<'a> ForEachChild<'a> for ConcurrentAssertion<'a>

pub fn for_each_child(
    &'a self,
    each: &mut dyn FnMut(&'a (dyn AnyNode<'a> + 'a))
)

Apply a function to each child node.

impl<'a> ForEachNode<'a> for ConcurrentAssertion<'a>

pub fn for_each_node(&'a self, each: &mut dyn FnMut(&'a (dyn AnyNode<'a> + 'a)))

Apply a function to this node.

impl<'a> PartialEq<ConcurrentAssertion<'a>> for ConcurrentAssertion<'a>

pub fn eq(&self, other: &ConcurrentAssertion<'a>) -> bool

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

pub fn ne(&self, other: &ConcurrentAssertion<'a>) -> bool

This method tests for !=.

impl<'a> WalkVisitor<'a> for ConcurrentAssertion<'a>

pub fn walk(&'a self, visitor: &mut dyn Visitor<'a>)

Walk a visitor over self.

Calling this function is equivalent to calling:

• visitor.pre_visit_concurrent_assertion(self)
• self.accept(visitor)
• visitor.post_visit_concurrent_assertion(self);

impl<'a> Eq for ConcurrentAssertion<'a>

impl<'a> StructuralEq for ConcurrentAssertion<'a>

impl<'a> StructuralPartialEq for ConcurrentAssertion<'a>