Searched refs:NodeVector (Results 1 – 2 of 2) sorted by relevance
309 using NodeVector = std::vector<ExplodedNode *>; variable315 NodeVector Roots;319 NodeVector EndNodes;332 NodeVector ChangedNodes;335 NodeVector FreeNodes;393 using roots_iterator = NodeVector::iterator;394 using const_roots_iterator = NodeVector::const_iterator;395 using eop_iterator = NodeVector::iterator;396 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()