public interface PosetAwareReceiver extends Receiver
| Modifier and Type | Method and Description |
|---|---|
TupleMask |
getCoreMask() |
IPosetComparator |
getPosetComparator() |
TupleMask |
getPosetMask() |
void |
updateWithPosetInfo(Direction direction,
Tuple update,
boolean monotone)
Updates the receiver with a newly found or lost partial matching also providing information
whether the update is a monotone change or not.
|
appendParent, batchUpdate, getMailbox, getParents, removeParent, updateacceptPropagatedTraceInfo, assignTraceInfo, getCommunicationTracker, getContainer, getNodeId, getTag, getTraceInfos, setTagTupleMask getCoreMask()
TupleMask getPosetMask()
IPosetComparator getPosetComparator()
void updateWithPosetInfo(Direction direction, Tuple update, boolean monotone)
direction - the direction of the updateupdate - the update tuplemonotone - true if the update is monotone, false otherwise