Enum sv_parser_syntaxtree::declarations::assertion_declarations::ConcurrentAssertionStatement [−][src]
pub enum ConcurrentAssertionStatement {
AssertPropertyStatement(Box<AssertPropertyStatement>),
AssumePropertyStatement(Box<AssumePropertyStatement>),
CoverPropertyStatement(Box<CoverPropertyStatement>),
CoverSequenceStatement(Box<CoverSequenceStatement>),
RestrictPropertyStatement(Box<RestrictPropertyStatement>),
}
Variants
AssertPropertyStatement(Box<AssertPropertyStatement>)
Tuple Fields of AssertPropertyStatement
AssumePropertyStatement(Box<AssumePropertyStatement>)
Tuple Fields of AssumePropertyStatement
CoverPropertyStatement(Box<CoverPropertyStatement>)
Tuple Fields of CoverPropertyStatement
CoverSequenceStatement(Box<CoverSequenceStatement>)
Tuple Fields of CoverSequenceStatement
RestrictPropertyStatement(Box<RestrictPropertyStatement>)
Tuple Fields of RestrictPropertyStatement
Trait Implementations
Performs the conversion.
Performs the conversion.
Performs the conversion.
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl Send for ConcurrentAssertionStatement
impl Sync for ConcurrentAssertionStatement
impl Unpin for ConcurrentAssertionStatement
impl UnwindSafe for ConcurrentAssertionStatement
Blanket Implementations
Mutably borrows from an owned value. Read more