| Class | Description |
|---|---|
| CollectData |
This class represents a COLLECT object with the information about the running consensus
|
| LastEidData |
Data about the last consensus decision
|
| 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.
|
| LCMessage |
Message used during leader change and synchronization
|