Struct VectorClock 

pub struct VectorClock { /* private fields */ }

Vector clock tracking causal mutation progress across all 14 memory galaxies.

Implementations

impl VectorClock

pub const fn new() -> Self

Create a zero-initialized vector clock.

pub const fn get(&self, galaxy: Galaxy) -> u64

Get clock value for a specific galaxy.

pub const fn set(&mut self, galaxy: Galaxy, val: u64)

Set clock value for a specific galaxy.

pub const fn tick(&mut self, galaxy: Galaxy) -> u64

Increment and return the new clock value for a specific galaxy.

pub fn merge(&mut self, other: &Self)

Merge with another vector clock by taking the component-wise maximum.

pub fn happened_before(&self, other: &Self) -> bool

Returns true if self causally precedes other (self < other).

pub fn is_concurrent(&self, other: &Self) -> bool

Returns true if self and other are causally concurrent (neither precedes the other).

pub fn distance(&self, other: &Self) -> u64

Calculate Manhattan distance (total skew) between two clocks across all galaxies.

Trait Implementations

impl Clone for VectorClock

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for VectorClock

impl Debug for VectorClock

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for VectorClock

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for VectorClock

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for VectorClock

impl PartialEq for VectorClock

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for VectorClock

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for VectorClock