the identity of this worker.
the number of invocations by each thread.
the concurrent object.
function to create the InvokeEvent corresponding to S1.
function to create the InvokeEvent corresponding to S2.
function to create the ReturnEvent corresponding to S1.
function to create the ReturnEvent corresponding to S2.
Get the log.
Get the log.
Log that the thread performs an operation.
Log that the thread performs an operation.
the type of the result of the operation.
the operation on the concurrent datatype.
a string describing the operation, used in debugging output; semantically different operations should use different strings.
the corresponding operation on the first sequential datatype.
the corresponding operation on the second sequential datatype.
A log to be used by a single thread for a competition tester using two generic solvers.
the first sequential specification datatype.
the second sequential specification datatype.
the concurrent datatype.