Class UpdateSplittingMailbox
java.lang.Object
tools.refinery.interpreter.rete.network.mailbox.timeless.AbstractUpdateSplittingMailbox<DefaultMessageIndexer,Receiver>
tools.refinery.interpreter.rete.network.mailbox.timeless.UpdateSplittingMailbox
- All Implemented Interfaces:
Clearable,IGroupable,AdaptableMailbox,Mailbox
public class UpdateSplittingMailbox
extends AbstractUpdateSplittingMailbox<DefaultMessageIndexer,Receiver>
implements AdaptableMailbox
A mailbox implementation that splits updates messages according to the standard subset ordering into anti-monotonic
(deletions) and monotonic (insertions) updates.
- Since:
- 2.0
-
Field Summary
FieldsFields inherited from class tools.refinery.interpreter.rete.network.mailbox.timeless.AbstractUpdateSplittingMailbox
antiMonotoneBuffer, antiMonotoneQueue, container, deliveringAntiMonotone, deliveringMonotone, group, monotoneBuffer, monotoneQueue, receiver -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoiddeliverAll(MessageSelector kind) Delivers all messages according to the given selector from this mailbox.voidpostMessage(Direction direction, Tuple update, Timestamp timestamp) Posts a new message to this mailbox.voidsetAdapter(Mailbox adapter) toString()Methods inherited from class tools.refinery.interpreter.rete.network.mailbox.timeless.AbstractUpdateSplittingMailbox
clear, getActiveAntiMonotoneQueue, getActiveMonotoneQueue, getCurrentGroup, getReceiver, isEmpty, setCurrentGroup, swapAndClearAntiMonotone, swapAndClearMonotoneMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitMethods inherited from interface tools.refinery.interpreter.rete.network.mailbox.Mailbox
getCurrentGroup, getReceiver, isEmpty, setCurrentGroup
-
Field Details
-
adapter
-
-
Constructor Details
-
UpdateSplittingMailbox
-
-
Method Details
-
getAdapter
- Specified by:
getAdapterin interfaceAdaptableMailbox
-
setAdapter
- Specified by:
setAdapterin interfaceAdaptableMailbox
-
postMessage
Description copied from interface:MailboxPosts a new message to this mailbox.- Specified by:
postMessagein interfaceMailbox- Parameters:
direction- the direction of the updateupdate- the update element
-
deliverAll
Description copied from interface:MailboxDelivers all messages according to the given selector from this mailbox. The selector can also be null. In this case, no special separation is expected between the messages.- Specified by:
deliverAllin interfaceMailbox- Parameters:
kind- the message selector
-
toString
-