/// <summary> /// Constructor. /// </summary> public VectorClock(VectorClock other) : this(other.Size()) { Copy(other); }
///<summary> /// Returns true if this ≤ other. Requires: exclusive access to this and other. /// </summary> public bool Leq(VectorClock other) { return(!AnyGt(other)); }