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