Skip to main content

vc_happens_before

Function vc_happens_before 

Source
pub fn vc_happens_before(a: &[u64], b: &[u64]) -> bool
Expand description

Vector-clock happens-before a → b: a[i] ≤ b[i] for all i AND a ≠ b.