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