Package bftsmart.tom.leaderchange

Class Summary

Class	Description
CertifiedDecision	Data about the last consensus decision
CollectData	This class represents a COLLECT object with the information about the running consensus
LCManager	This class implements a manager of information related to the leader change protocol It also implements some predicates and methods necessary for the protocol in accordance to Cachin's 'Yet Another Visit to Paxos' (April 2011).
LCMessage	Message used during leader change and synchronization
RequestsTimer	This thread serves as a manager for all timers of pending requests.