Struct miri::concurrency::vector_clock::VectorIdx
source · pub struct VectorIdx(u32);
Expand description
A vector clock index, this is associated with a thread id but in some cases one vector index may be shared with multiple thread ids if it’s safe to do so.
Tuple Fields§
§0: u32
Implementations§
Trait Implementations§
source§impl Ord for VectorIdx
impl Ord for VectorIdx
source§impl PartialEq<VectorIdx> for VectorIdx
impl PartialEq<VectorIdx> for VectorIdx
source§impl PartialOrd<VectorIdx> for VectorIdx
impl PartialOrd<VectorIdx> for VectorIdx
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Copy for VectorIdx
impl Eq for VectorIdx
impl StructuralEq for VectorIdx
impl StructuralPartialEq for VectorIdx
Auto Trait Implementations§
impl RefUnwindSafe for VectorIdx
impl Send for VectorIdx
impl Sync for VectorIdx
impl Unpin for VectorIdx
impl UnwindSafe for VectorIdx
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
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 4 bytes