Enum sv_parser_syntaxtree::behavioral_statements::assertion_statements::DeferredImmediateAssertionStatement
source · pub enum DeferredImmediateAssertionStatement {
Assert(Box<DeferredImmediateAssertStatement>),
Assume(Box<DeferredImmediateAssumeStatement>),
Cover(Box<DeferredImmediateCoverStatement>),
}
Variants§
Assert(Box<DeferredImmediateAssertStatement>)
Assume(Box<DeferredImmediateAssumeStatement>)
Cover(Box<DeferredImmediateCoverStatement>)
Trait Implementations§
source§impl Clone for DeferredImmediateAssertionStatement
impl Clone for DeferredImmediateAssertionStatement
source§fn clone(&self) -> DeferredImmediateAssertionStatement
fn clone(&self) -> DeferredImmediateAssertionStatement
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<'a> From<&'a DeferredImmediateAssertionStatement> for RefNode<'a>
impl<'a> From<&'a DeferredImmediateAssertionStatement> for RefNode<'a>
source§fn from(x: &'a DeferredImmediateAssertionStatement) -> Self
fn from(x: &'a DeferredImmediateAssertionStatement) -> Self
Converts to this type from the input type.
source§impl<'a> From<&'a DeferredImmediateAssertionStatement> for RefNodes<'a>
impl<'a> From<&'a DeferredImmediateAssertionStatement> for RefNodes<'a>
source§fn from(x: &'a DeferredImmediateAssertionStatement) -> Self
fn from(x: &'a DeferredImmediateAssertionStatement) -> Self
Converts to this type from the input type.
source§impl From<DeferredImmediateAssertionStatement> for AnyNode
impl From<DeferredImmediateAssertionStatement> for AnyNode
source§fn from(x: DeferredImmediateAssertionStatement) -> Self
fn from(x: DeferredImmediateAssertionStatement) -> Self
Converts to this type from the input type.
source§impl<'a> IntoIterator for &'a DeferredImmediateAssertionStatement
impl<'a> IntoIterator for &'a DeferredImmediateAssertionStatement
source§impl<'a> Node<'a> for DeferredImmediateAssertionStatement
impl<'a> Node<'a> for DeferredImmediateAssertionStatement
source§impl PartialEq<DeferredImmediateAssertionStatement> for DeferredImmediateAssertionStatement
impl PartialEq<DeferredImmediateAssertionStatement> for DeferredImmediateAssertionStatement
source§fn eq(&self, other: &DeferredImmediateAssertionStatement) -> bool
fn eq(&self, other: &DeferredImmediateAssertionStatement) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.