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