reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
470 Impl.insert(N); 476 if (N && !static_cast<ExplodedNode*>(N)->isSink()) Impl.insert(N); 482 unsigned size() const { return Impl.size(); } 483 bool empty() const { return Impl.empty(); } 484 bool erase(ExplodedNode *N) { return Impl.remove(N); } 486 void clear() { Impl.clear(); } 491 Impl = S.Impl; 491 Impl = S.Impl; 493 Impl.insert(S.begin(), S.end()); 496 iterator begin() { return Impl.begin(); } 497 iterator end() { return Impl.end(); } 499 const_iterator begin() const { return Impl.begin(); } 500 const_iterator end() const { return Impl.end(); }