Searched refs:RequestMap (Results 1 – 5 of 5) sorted by relevance
41 const Request *const Req = State->get<RequestMap>(MR); in checkDoubleNonblocking()51 State = State->set<RequestMap>(MR, Request::State::Nonblocking); in checkDoubleNonblocking()80 const Request *const Req = State->get<RequestMap>(ReqRegion); in checkUnmatchedWaits()81 State = State->set<RequestMap>(ReqRegion, Request::State::Wait); in checkUnmatchedWaits()105 const auto &Requests = State->get<RequestMap>(); in checkMissingWaits()112 auto ReqMap = State->get<RequestMap>(); in checkMissingWaits()123 State = State->remove<RequestMap>(Req.first); in checkMissingWaits()
49 struct RequestMap {}; struct58 struct ProgramStateTrait<mpi::RequestMap>
95 const Request *const Req = N->getState()->get<RequestMap>(RequestRegion); in VisitNode()97 PrevN->getState()->get<RequestMap>(RequestRegion); in VisitNode()
68 RequestMap::iterator iter = requests_.find(request->id()); in Remove()78 for (RequestMap::iterator i = requests_.begin(); i != requests_.end(); ++i) in Clear()89 RequestMap::iterator iter = requests_.find(msg->transaction_id()); in CheckResponse()122 RequestMap::iterator iter = requests_.find(id); in CheckResponse()
63 typedef std::map<std::string, StunRequest*> RequestMap; typedef66 RequestMap requests_;