/// <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));
}
