Struct miri::concurrency::vector_clock::VectorIdx
source · pub(super) 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 Index<VectorIdx> for VClock
impl Index<VectorIdx> for VClock
source§type Output = VTimestamp
type Output = VTimestamp
The returned type after indexing.
source§impl Ord for VectorIdx
impl Ord for VectorIdx
source§impl PartialOrd for VectorIdx
impl PartialOrd for VectorIdx
impl Copy for VectorIdx
impl Eq for VectorIdx
impl StructuralPartialEq for VectorIdx
Auto Trait Implementations§
impl Freeze for VectorIdx
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
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)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