Enum sv_parser_syntaxtree::declarations::assertion_declarations::ConcurrentAssertionStatement
source · pub enum ConcurrentAssertionStatement {
AssertPropertyStatement(Box<AssertPropertyStatement>),
AssumePropertyStatement(Box<AssumePropertyStatement>),
CoverPropertyStatement(Box<CoverPropertyStatement>),
CoverSequenceStatement(Box<CoverSequenceStatement>),
RestrictPropertyStatement(Box<RestrictPropertyStatement>),
}
Variants§
AssertPropertyStatement(Box<AssertPropertyStatement>)
AssumePropertyStatement(Box<AssumePropertyStatement>)
CoverPropertyStatement(Box<CoverPropertyStatement>)
CoverSequenceStatement(Box<CoverSequenceStatement>)
RestrictPropertyStatement(Box<RestrictPropertyStatement>)
Trait Implementations§
source§impl Clone for ConcurrentAssertionStatement
impl Clone for ConcurrentAssertionStatement
source§fn clone(&self) -> ConcurrentAssertionStatement
fn clone(&self) -> ConcurrentAssertionStatement
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 Debug for ConcurrentAssertionStatement
impl Debug for ConcurrentAssertionStatement
source§impl<'a> From<&'a ConcurrentAssertionStatement> for RefNode<'a>
impl<'a> From<&'a ConcurrentAssertionStatement> for RefNode<'a>
source§fn from(x: &'a ConcurrentAssertionStatement) -> Self
fn from(x: &'a ConcurrentAssertionStatement) -> Self
Converts to this type from the input type.
source§impl<'a> From<&'a ConcurrentAssertionStatement> for RefNodes<'a>
impl<'a> From<&'a ConcurrentAssertionStatement> for RefNodes<'a>
source§fn from(x: &'a ConcurrentAssertionStatement) -> Self
fn from(x: &'a ConcurrentAssertionStatement) -> Self
Converts to this type from the input type.
source§impl From<ConcurrentAssertionStatement> for AnyNode
impl From<ConcurrentAssertionStatement> for AnyNode
source§fn from(x: ConcurrentAssertionStatement) -> Self
fn from(x: ConcurrentAssertionStatement) -> Self
Converts to this type from the input type.
source§impl<'a> IntoIterator for &'a ConcurrentAssertionStatement
impl<'a> IntoIterator for &'a ConcurrentAssertionStatement
source§impl PartialEq for ConcurrentAssertionStatement
impl PartialEq for ConcurrentAssertionStatement
source§fn eq(&self, other: &ConcurrentAssertionStatement) -> bool
fn eq(&self, other: &ConcurrentAssertionStatement) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl<'a> TryFrom<&'a ConcurrentAssertionStatement> for Locate
impl<'a> TryFrom<&'a ConcurrentAssertionStatement> for Locate
source§impl TryFrom<ConcurrentAssertionStatement> for Locate
impl TryFrom<ConcurrentAssertionStatement> for Locate
impl StructuralPartialEq for ConcurrentAssertionStatement
Auto Trait Implementations§
impl RefUnwindSafe for ConcurrentAssertionStatement
impl Send for ConcurrentAssertionStatement
impl Sync for ConcurrentAssertionStatement
impl Unpin for ConcurrentAssertionStatement
impl UnwindSafe for ConcurrentAssertionStatement
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more