Enum sv_parser_syntaxtree::behavioral_statements::assertion_statements::DeferredImmediateAssertionStatement [−][src]
pub enum DeferredImmediateAssertionStatement {
Assert(Box<DeferredImmediateAssertStatement>),
Assume(Box<DeferredImmediateAssumeStatement>),
Cover(Box<DeferredImmediateCoverStatement>),
}
Variants
Assert(Box<DeferredImmediateAssertStatement>)
Tuple Fields of Assert
Assume(Box<DeferredImmediateAssumeStatement>)
Tuple Fields of Assume
Cover(Box<DeferredImmediateCoverStatement>)
Tuple Fields of Cover
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 DeferredImmediateAssertionStatement
impl Sync for DeferredImmediateAssertionStatement
impl Unpin for DeferredImmediateAssertionStatement
Blanket Implementations
Mutably borrows from an owned value. Read more