List of all items
Structs
- best_effort_broadcast::BestEffortBroadcast
- consensus_based_total_order_broadcast::ConsensusBasedTotalOrderBroadcast
- epoch_change::EpochChange
- epoch_consensus::EpochConsensus
- epoch_consensus::State
- epoch_consensus::Tagged
- eventual_leader_detector::EventualLeaderDetector
- eventually_perfect_failure_detector::Config
- eventually_perfect_failure_detector::EventuallyPerfectFailureDetector
- fair_loss_link::FairLossLink
- flooding_consensus::FloodingConsensus
- lazy_probabilistic_broadcast::Config
- lazy_probabilistic_broadcast::Data
- lazy_probabilistic_broadcast::LazyProbabilisticBroadcast
- lazy_probabilistic_broadcast::Sender
- leader_driven_consensus::LeaderDrivenConsensus
- logged_epoch_change::LoggedEpochChange
- logged_epoch_change::Nack
- logged_epoch_change::NewEpoch
- logged_epoch_change::Started
- logged_epoch_consensus::Durable
- logged_epoch_consensus::LoggedEpochConsensus
- logged_epoch_consensus::State
- logged_epoch_consensus::Tagged
- logged_leader_driven_consensus::Durable
- logged_leader_driven_consensus::LoggedLeaderDrivenConsensus
- logged_link::Log
- logged_link::LoggedLink
- logged_uniform_reliable_broadcast::Logged
- logged_uniform_reliable_broadcast::LoggedUniformReliableBroadcast
- logged_uniform_total_order_broadcast::Durable
- logged_uniform_total_order_broadcast::LoggedUniformTotalOrderBroadcast
- majority_ack_uniform_reliable_broadcast::MajorityAckUniformReliableBroadcast
- multi_paxos_replica::Command
- multi_paxos_replica::MultiPaxosReplica
- multi_paxos_synod::Ballot
- multi_paxos_synod::MultiPaxosSynod
- multi_paxos_synod::Pvalue
- perfect_failure_detector::Heartbeat
- perfect_failure_detector::PerfectFailureDetector
- perfect_link::MsgId
- perfect_link::PerfectLink
- perfect_link::Wire
- probabilistic_broadcast::BroadcastId
- probabilistic_broadcast::Config
- probabilistic_broadcast::Gossip
- probabilistic_broadcast::ProbabilisticBroadcast
- reliable_broadcast::BroadcastId
- reliable_broadcast::Data
- reliable_broadcast::ReliableBroadcast
- session_link::SessionLink
- stubborn_broadcast::BroadcastId
- stubborn_broadcast::StubbornBroadcast
- stubborn_link::SendId
- stubborn_link::StubbornLink
- timing::Timing
- uniform_reliable_broadcast::BroadcastId
- uniform_reliable_broadcast::Data
- uniform_reliable_broadcast::UniformReliableBroadcast
Enums
- best_effort_broadcast::Cmd
- best_effort_broadcast::Ind
- consensus_based_total_order_broadcast::Cmd
- consensus_based_total_order_broadcast::Ind
- consensus_based_total_order_broadcast::Wire
- detector::DetectorInd
- epoch_change::EpochMsg
- epoch_change::Ind
- epoch_change::Wire
- epoch_consensus::Cmd
- epoch_consensus::EpochMsg
- epoch_consensus::Ind
- eventual_leader_detector::Ind
- eventually_perfect_failure_detector::Ind
- fair_loss_link::Cmd
- fair_loss_link::Ind
- flooding_consensus::Cmd
- flooding_consensus::Flood
- flooding_consensus::Ind
- flooding_consensus::Wire
- lazy_probabilistic_broadcast::Cmd
- lazy_probabilistic_broadcast::Ind
- lazy_probabilistic_broadcast::Recovery
- lazy_probabilistic_broadcast::Wire
- leader_driven_consensus::Cmd
- leader_driven_consensus::Ind
- leader_driven_consensus::Wire
- link::Boundary
- link::LinkInd
- logged_epoch_change::Ind
- logged_epoch_change::Wire
- logged_epoch_consensus::Announce
- logged_epoch_consensus::Cmd
- logged_epoch_consensus::Ind
- logged_epoch_consensus::Reply
- logged_epoch_consensus::Wire
- logged_leader_driven_consensus::Cmd
- logged_leader_driven_consensus::Ind
- logged_leader_driven_consensus::Wire
- logged_link::Cmd
- logged_link::Ind
- logged_uniform_reliable_broadcast::Cmd
- logged_uniform_reliable_broadcast::Ind
- logged_uniform_reliable_broadcast::Record
- logged_uniform_total_order_broadcast::Cmd
- logged_uniform_total_order_broadcast::Ind
- logged_uniform_total_order_broadcast::Record
- logged_uniform_total_order_broadcast::Wire
- majority_ack_uniform_reliable_broadcast::Cmd
- majority_ack_uniform_reliable_broadcast::Ind
- multi_paxos_replica::Cmd
- multi_paxos_replica::Ind
- multi_paxos_synod::Cmd
- multi_paxos_synod::Ind
- multi_paxos_synod::SynodMsg
- multi_paxos_synod::Wire
- note::Note
- note::Refusal
- perfect_failure_detector::Ind
- perfect_link::Cmd
- perfect_link::Ind
- probabilistic_broadcast::Cmd
- probabilistic_broadcast::Ind
- reliable_broadcast::Cmd
- reliable_broadcast::Ind
- session_link::Cmd
- session_link::Ind
- stubborn_broadcast::Cmd
- stubborn_broadcast::Ind
- stubborn_link::Cmd
- stubborn_link::Ind
- total_order_log::LogInd
- uniform_reliable_broadcast::Cmd
- uniform_reliable_broadcast::Ind
- uniform_reliable_broadcast::Wire
Traits
- detector::Detector
- detector::VolatileDetector
- link::Link
- link::VolatileLink
- total_order_log::TotalOrderLog
Type Aliases
- consensus_based_total_order_broadcast::Batch
- consensus_based_total_order_broadcast::Carried
- consensus_based_total_order_broadcast::Consensus
- consensus_based_total_order_broadcast::ConsensusCarried
- consensus_based_total_order_broadcast::Slot
- epoch_change::BebMsg
- epoch_change::Cmd
- epoch_consensus::BebMsg
- eventual_leader_detector::Cmd
- eventually_perfect_failure_detector::Cmd
- flooding_consensus::BebMsg
- flooding_consensus::Carried
- lazy_probabilistic_broadcast::Gossiper
- logged_epoch_change::Cmd
- logged_link::Wire
- logged_uniform_total_order_broadcast::Consensus
- majority_ack_uniform_reliable_broadcast::Carried
- majority_ack_uniform_reliable_broadcast::Msg
- multi_paxos_replica::Carried
- multi_paxos_replica::Synod
- multi_paxos_synod::Pvalues
- multi_paxos_synod::Slot
- perfect_failure_detector::Cmd
- probabilistic_broadcast::Carried
- reliable_broadcast::Carried
- reliable_broadcast::Wire
- session_link::Wire
- stacks::BestEffortBroadcastOverSessions
- stacks::EventualLeaderDetectorOverPerfectDetection
- stacks::FloodingConsensusOverSessions
- stacks::LazyProbabilisticBroadcastOverSessions
- stacks::MajorityAckUniformReliableBroadcastOverSessions
- stacks::ProbabilisticBroadcastOverSessions
- stacks::ReliableBroadcastOverSessions
- stacks::UniformReliableBroadcastOverSessions
- uniform_reliable_broadcast::BebMsg
- uniform_reliable_broadcast::Carried