[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Trying to search for a specific entry in each member of a set of sequences

In CCal, I have a set of sequences

        WriteRespQs = [qPerInstance \in Instances |-> <<>>];
Where I append responses
macro writeProcess() {
        WriteRespQs[self] := Append(WriteRespQs[self], WriteResponse(WriteResp, currentVersion, ResponseFailure, msg.reqID));

There is a process for each Instance.
One the receiver side, I need to look for a secific reqID across all the entire WriteRespQs set.

What could be an optimal way to do this?