public interface MonotonicityAwareReceiver extends Receiver
Modifier and Type | Method and Description |
---|---|
TupleMask |
getCoreMask() |
IPosetComparator |
getPosetComparator() |
TupleMask |
getPosetMask() |
void |
update(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, getMailbox, getParents, removeParent, update
acceptPropagatedTraceInfo, assignTraceInfo, getContainer, getNodeId, getTag, getTraceInfos, setTag
TupleMask getCoreMask()
TupleMask getPosetMask()
IPosetComparator getPosetComparator()
void update(Direction direction, Tuple update, boolean monotone)
direction
- the direction of the updateupdate
- the update tuplemonotone
- true if the update is monotone, false otherwise