public override int GetHashCode() { int result = _clusterContext.GetHashCode(); result = 31 * result + _proposerContext.GetHashCode(); result = 31 * result + _acceptorContext.GetHashCode(); result = 31 * result + _learnerContext.GetHashCode(); result = 31 * result + _heartbeatContext.GetHashCode(); result = 31 * result + _electionContext.GetHashCode(); result = 31 * result + _atomicBroadcastContext.GetHashCode(); result = 31 * result + _commonState.GetHashCode(); result = 31 * result + _paxosInstances.GetHashCode(); return(result); }