C# (CSharp) Microsoft.PSharp.TestingServices.RaceDetection.Util VectorClock Beispiele

Beispiel #1

 /// <summary>
 /// Constructor.
 /// </summary>
 public VectorClock(VectorClock other) : this(other.Size())
 {
     Copy(other);
 }

Beispiel #2

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