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, update
acceptPropagatedTraceInfo, assignTraceInfo, getCommunicationTracker, getContainer, getNodeId, getTag, getTraceInfos, setTag
TupleMask 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