Searched refs:RequestMap (Results 1 – 3 of 3) sorted by relevance
41 const Request *const Req = State->get<RequestMap>(MR); in checkDoubleNonblocking()52 State = State->set<RequestMap>(MR, Request::State::Nonblocking); in checkDoubleNonblocking()81 const Request *const Req = State->get<RequestMap>(ReqRegion); in checkUnmatchedWaits()82 State = State->set<RequestMap>(ReqRegion, Request::State::Wait); in checkUnmatchedWaits()104 const auto &Requests = State->get<RequestMap>(); in checkMissingWaits()111 auto ReqMap = State->get<RequestMap>(); in checkMissingWaits()123 State = State->remove<RequestMap>(Req.first); in checkMissingWaits()
48 struct RequestMap {}; struct56 struct ProgramStateTrait<mpi::RequestMap>
95 const Request *const Req = N->getState()->get<RequestMap>(RequestRegion); in VisitNode()99 N->getFirstPred()->getState()->get<RequestMap>(RequestRegion); in VisitNode()