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.Object
public java.util.Set<NodeIDType> getResponded()
public static void main(java.lang.String[] args)
args
-