Searched refs:NodeVector (Results 1 – 2 of 2) sorted by relevance
307 using NodeVector = std::vector<ExplodedNode *>; variable313 NodeVector Roots;317 NodeVector EndNodes;330 NodeVector ChangedNodes;333 NodeVector FreeNodes;391 using roots_iterator = NodeVector::iterator;392 using const_roots_iterator = NodeVector::const_iterator;393 using eop_iterator = NodeVector::iterator;394 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()