Searched refs:NodeVector (Results 1 – 3 of 3) sorted by relevance
252 typedef std::vector<ExplodedNode *> NodeVector; typedef258 NodeVector Roots;262 NodeVector EndNodes;275 NodeVector ChangedNodes;278 NodeVector FreeNodes;327 typedef NodeVector::iterator roots_iterator;328 typedef NodeVector::const_iterator const_roots_iterator;329 typedef NodeVector::iterator eop_iterator;330 typedef NodeVector::const_iterator const_eop_iterator;
182 typedef std::vector<NodeEntry> NodeVector; typedef184 NodeVector Nodes;310 typename NodeVector::size_type size() const { in size()323 typename NodeVector::size_type size() const { in size()
192 for (NodeVector::iterator it = ChangedNodes.begin(), et = ChangedNodes.end(); in reclaimRecentlyAllocatedNodes()