Enum sv_parser_syntaxtree::behavioral_statements::assertion_statements::ProceduralAssertionStatement [−][src]
pub enum ProceduralAssertionStatement {
Concurrent(Box<ConcurrentAssertionStatement>),
Immediate(Box<ImmediateAssetionStatement>),
Checker(Box<CheckerInstantiation>),
}
Variants
Concurrent(Box<ConcurrentAssertionStatement>)
Tuple Fields of Concurrent
Immediate(Box<ImmediateAssetionStatement>)
Tuple Fields of Immediate
Checker(Box<CheckerInstantiation>)
Tuple Fields of Checker
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 ProceduralAssertionStatement
impl Sync for ProceduralAssertionStatement
impl Unpin for ProceduralAssertionStatement
impl UnwindSafe for ProceduralAssertionStatement
Blanket Implementations
Mutably borrows from an owned value. Read more