Searched refs:NodeVector (Results 1 – 2 of 2) sorted by relevance
308 using NodeVector = std::vector<ExplodedNode *>; variable314 NodeVector Roots;318 NodeVector EndNodes;331 NodeVector ChangedNodes;334 NodeVector FreeNodes;392 using roots_iterator = NodeVector::iterator;393 using const_roots_iterator = NodeVector::const_iterator;394 using eop_iterator = NodeVector::iterator;395 using const_eop_iterator = NodeVector::const_iterator;
166 using NodeVector = std::vector<NodeEntry>; variable168 NodeVector Nodes;293 typename NodeVector::size_type size() const { in size()310 typename NodeVector::size_type size() const { in size()