/// <summary>
/// TBD
/// </summary>
/// <param name="removedNode">TBD</param>
/// <returns>TBD</returns>
public Gossip Prune(VectorClock.Node removedNode)
{
var newVersion = Version.Prune(removedNode);
if (newVersion.Equals(Version))
{
return(this);
}
else
{
return(new Gossip(Members, Overview, newVersion));
}
}
/// <summary>
/// Increments the version for this 'Node'.
/// </summary>
/// <param name="node">TBD</param>
/// <returns>TBD</returns>
public Gossip Increment(VectorClock.Node node)
{
return(Copy(version: _version.Increment(node)));
}