Closed bergmanngabor closed 11 years ago
From earlier notes:
public void sendUpdate(Receiver receiver, Direction direction, Tuple updateElement)
{
if (org.eclipse.viatra2.gtasm.patternmatcher.incremental.rete.util.Options.synchronous) receiver.update(direction, updateElement);
else {
messageQueue.addLast(new UpdateMessage(receiver, direction, updateElement));
}
}
Experiment with: