Searched refs:NodeVector (Results 1 – 2 of 2) sorted by relevance
269 using NodeVector = std::vector<ExplodedNode *>; variable275 NodeVector Roots;279 NodeVector EndNodes;292 NodeVector ChangedNodes;295 NodeVector FreeNodes;352 using roots_iterator = NodeVector::iterator;353 using const_roots_iterator = NodeVector::const_iterator;354 using eop_iterator = NodeVector::iterator;355 using const_eop_iterator = NodeVector::const_iterator;
167 using NodeVector = std::vector<NodeEntry>; variable169 NodeVector Nodes;294 typename NodeVector::size_type size() const { in size()311 typename NodeVector::size_type size() const { in size()