NodeIDType - public class Waitfor<NodeIDType>
extends java.lang.Object
| Constructor and Description |
|---|
Waitfor(NodeIDType[] m) |
Waitfor(java.util.Set<NodeIDType> m) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
alreadyHeardFrom(NodeIDType node) |
int |
getHeardCount() |
java.util.Set<NodeIDType> |
getMembers() |
java.util.Set<NodeIDType> |
getMembersHeardFrom() |
java.util.Set<NodeIDType> |
getResponded() |
int |
getRetransmissionCount() |
boolean |
heardFromMajority() |
void |
incrRetransmissonCount() |
static void |
main(java.lang.String[] args) |
java.lang.String |
toString() |
long |
totalWaitTime() |
boolean |
updateHeardFrom(NodeIDType node) |
public Waitfor(NodeIDType[] m)
m - public Waitfor(java.util.Set<NodeIDType> m)
m - public boolean updateHeardFrom(NodeIDType node)
node - public boolean heardFromMajority()
public boolean alreadyHeardFrom(NodeIDType node)
node - node.public int getHeardCount()
public java.util.Set<NodeIDType> getMembers()
public java.util.Set<NodeIDType> getMembersHeardFrom()
public long totalWaitTime()
public void incrRetransmissonCount()
public int getRetransmissionCount()
public java.lang.String toString()
toString in class java.lang.Objectpublic java.util.Set<NodeIDType> getResponded()
public static void main(java.lang.String[] args)
args -