ExtendQuorum returns a channel that receives possible extensions of the supplied replica set q with t more replica IDs, given the total number of replicas n.

generateMessageLogs returns a channel that receives possible sets of message logs, indexed by replica ID which, for the view number v derived from possible protocol histories preparing and committing the supplied sequence of requests among the views, given the max number of faulty replicas f and the total number of replicas n.

GenerateNewViewCertificates returns a channel that receives possible new-view certificates for the view number v derived from the supplied set of ViewChange messages, indexed by replica ID, given the max number of faulty replicas f and the total number of replicas n.

GenerateNewViewMessages returns a channel that receives possible NewView messages for the view number v derived from the supplied set of ViewChange messages, indexed by replica ID, given the max number of faulty replicas f and the total number of replicas n.

GeneratePartialLogs returns a channel that receives possible sets of partial message logs derived from the supplied set of message logs, indexed by replica ID, by possibly truncating different message logs of up to t replicas, except the one of the replica p.

PopulateLogs extends the supplied set of message logs, indexed by replica ID, with Prepare/Commit messages for the supplied sequence of requests, given the total number of replicas n and the current view number v.

TerminateMessageLogs replaces the message logs in the supplied set, indexed by replica ID, with ViewChange messages for the next view, given the max number of faulty replicas f, the total number of replicas n, and the current view number v.