Searched refs:RequestMap (Results 1 – 8 of 8) 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()
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()
94 RequestMap::iterator iter = requests_.find(request->id()); in Remove()104 for (RequestMap::iterator i = requests_.begin(); i != requests_.end(); ++i) in Clear()115 RequestMap::iterator iter = requests_.find(msg->transaction_id()); in CheckResponse()156 RequestMap::iterator iter = requests_.find(id); in CheckResponse()
77 typedef std::map<std::string, StunRequest*> RequestMap; typedef80 RequestMap requests_;