Example #1
0
 /// <summary>
 /// Initialises a new instance of the <see cref="MasterVectorClock"/> class.
 /// </summary>
 /// <param name="deviceId">Device id</param>
 /// <param name="vectorClock">Current vector clock</param>
 private MasterVectorClock(DeviceId deviceId, VectorClock vectorClock)
 {
     this.deviceId    = deviceId;
     this.vectorClock = vectorClock.Copy();
 }
Example #2
0
 /// <summary>
 /// Initialises a new instance of the <see cref="MasterVectorClock"/> class.
 /// </summary>
 /// <param name="deviceId">Device id</param>
 public MasterVectorClock(DeviceId deviceId)
 {
     this.deviceId    = deviceId;
     this.vectorClock = new VectorClock();
 }