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) -> RefNode<'a>
fn from(x: &'a DeferredImmediateAssertionStatement) -> RefNode<'a>
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) -> RefNodes<'a>
fn from(x: &'a DeferredImmediateAssertionStatement) -> RefNodes<'a>
Converts to this type from the input type.
source§impl From<DeferredImmediateAssertionStatement> for AnyNode
impl From<DeferredImmediateAssertionStatement> for AnyNode
source§fn from(x: DeferredImmediateAssertionStatement) -> AnyNode
fn from(x: DeferredImmediateAssertionStatement) -> AnyNode
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 for DeferredImmediateAssertionStatement
impl PartialEq 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 ==
.source§impl<'a> TryFrom<&'a DeferredImmediateAssertionStatement> for Locate
impl<'a> TryFrom<&'a DeferredImmediateAssertionStatement> for Locate
impl StructuralPartialEq for DeferredImmediateAssertionStatement
Auto Trait Implementations§
impl RefUnwindSafe for DeferredImmediateAssertionStatement
impl Send for DeferredImmediateAssertionStatement
impl Sync for DeferredImmediateAssertionStatement
impl Unpin for DeferredImmediateAssertionStatement
impl UnwindSafe for DeferredImmediateAssertionStatement
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