public class SendBuffers
extends java.lang.Object
Constructor and Description |
---|
SendBuffers() |
Modifier and Type | Method and Description |
---|---|
<F extends Fact> |
add(F fact) |
<F extends Fact> |
add(java.util.List<F> facts) |
java.util.Collection<java.lang.Integer> |
getLocations() |
boolean |
reBufferMissed() |
void |
sendAll() |
void |
setNeighborhood(comingle.comms.neighborhood.Neighborhood neighborhood) |
void |
setSendListener(SendListener send_listener) |
public void setSendListener(SendListener send_listener)
public void setNeighborhood(comingle.comms.neighborhood.Neighborhood neighborhood)
public java.util.Collection<java.lang.Integer> getLocations()
public boolean reBufferMissed()
public void sendAll()
public <F extends Fact> void add(java.util.List<F> facts)
public <F extends Fact> void add(F fact)