Struct VersionVector 

pub struct VersionVector {
    entries: BTreeMap<String, u64>,
}

A version vector tracking the frontier of seen updates per replica.

Version vectors provide a compact summary of causal history when updates from each replica are contiguous (no gaps).

Fields

entries: BTreeMap<String, u64>

Map from replica ID to highest seen sequence number.

Implementations

impl VersionVector

pub fn new() -> Self

Create an empty version vector.

pub fn from_entries(entries: impl IntoIterator<Item = (String, u64)>) -> Self

Create a version vector from entries.

pub fn get(&self, replica_id: &str) -> u64

Get the sequence number for a replica.

pub fn set(&mut self, replica_id: impl Into<String>, sequence: u64)

Set the sequence number for a replica.

pub fn increment(&mut self, replica_id: impl Into<String>) -> u64

Increment the sequence number for a replica, returning the new value.

pub fn dominates(&self, other: &VersionVector) -> bool

Check if this vector dominates another (is causally after or concurrent). Returns true if for all replicas, self[r] >= other[r].

pub fn strictly_dominates(&self, other: &VersionVector) -> bool

Check if this vector is strictly greater than another. Returns true if dominates(other) AND self != other.

pub fn is_concurrent_with(&self, other: &VersionVector) -> bool

Check if two vectors are concurrent (neither dominates the other).

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

Merge with another version vector (component-wise max).

pub fn merged_with(&self, other: &VersionVector) -> VersionVector

Create a merged version vector without modifying self.

pub fn min_with(&self, other: &VersionVector) -> VersionVector

Get the minimum across all replicas in both vectors. This represents the “stable” point that all replicas have seen.

pub fn iter(&self) -> impl Iterator<Item = (&String, &u64)>

Iterate over all entries.

pub fn len(&self) -> usize

Get the number of replicas tracked.

pub fn is_empty(&self) -> bool

Check if the version vector is empty.

pub fn total_operations(&self) -> u64

Get the sum of all sequence numbers (total operations seen).

pub fn to_entries(&self) -> Vec<VectorEntry>

Convert to a list of entries.

pub fn from_entry_list(entries: Vec<VectorEntry>) -> Self

Create from a list of entries.

pub fn contains(&self, replica_id: &str, sequence: u64) -> bool

Check if a specific (replica_id, sequence) pair is included.

pub fn diff(&self, other: &VersionVector) -> Vec<(String, u64, u64)>

Get the difference: operations in self but not in other. Returns (replica_id, start_seq, end_seq) ranges.

Trait Implementations

impl Clone for VersionVector

fn clone(&self) -> VersionVector

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VersionVector

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

Formats the value using the given formatter.

impl Default for VersionVector

fn default() -> VersionVector

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for VersionVector

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VersionVector

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for VersionVector

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for VersionVector

impl StructuralPartialEq for VersionVector