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