the identity of this worker.
the number of invocations by each thread.
the concurrent object.
function to create the InvokeEvent corresponding to S.
function to create the ReturnEvent corresponding to S.
Get the log.
Get the log.
Log a dequeue operation by this thread.
Log a dequeue operation by this thread.
the operation on the concurrent queue corresponding to the dequeue, e.g. _.dequeue.
the corresponding operation on the sequential datatype.
Log an enqueue operation of value by the thread.
Log an enqueue operation of value by the thread.
the value enqueued.
the operation on the concurrent queue corresponding to the enqueue, e.g. _.enqueue(value).
the corresponding operation on the sequential specification datatype.
A log to be used by a single thread for a competition tester using a queue-oriented solver and a generic solver.
the type of data stored in the queue.
the sequential specification datatype.
the concurrent queue.