Package | Description |
---|---|
bftsmart.tom.leaderchange |
Modifier and Type | Method and Description |
---|---|
java.util.HashSet<CollectData> |
LCManager.selectCollects(java.util.HashSet<java.security.SignedObject> signedObjects,
int eid)
Fetchs a set of correctly signed and normalized collect data structures from the
specified original set of collects
|
java.util.HashSet<CollectData> |
LCManager.selectCollects(int regency,
int eid)
Fetchs a set of correctly signed and normalized collect data structures
|
Modifier and Type | Method and Description |
---|---|
boolean |
LCManager.binds(int timestamp,
byte[] value,
java.util.HashSet<CollectData> collects)
The predicate "binds".
|
boolean |
LCManager.certifiedValue(int timestamp,
byte[] value,
java.util.HashSet<CollectData> collects)
The predicate "certifiedValue".
|
byte[] |
LCManager.getBindValue(java.util.HashSet<CollectData> collects)
Return a value that is "bind", that is different from null, and
with a timestamp greater or equal to zero
|
boolean |
LCManager.quorumHighest(int timestamp,
byte[] value,
java.util.HashSet<CollectData> collects)
The predicate "quorumHighest".
|
boolean |
LCManager.sound(java.util.HashSet<CollectData> collects)
The all-important predicate "sound".
|
boolean |
LCManager.unbound(java.util.HashSet<CollectData> collects)
The predicate "unbound".
|