Home | History | Annotate | Download | only in PathSensitive

Lines Matching refs:Impl

399   ImplTy Impl;
404     Impl.insert(N);
410     if (N && !static_cast<ExplodedNode*>(N)->isSink()) Impl.insert(N);
416   unsigned size() const { return Impl.size();  }
417   bool empty()    const { return Impl.empty(); }
418   bool erase(ExplodedNode *N) { return Impl.erase(N); }
420   void clear() { Impl.clear(); }
424       Impl = S.Impl;
426       Impl.insert(S.begin(), S.end());
429   inline iterator begin() { return Impl.begin(); }
430   inline iterator end()   { return Impl.end();   }
432   inline const_iterator begin() const { return Impl.begin(); }
433   inline const_iterator end()   const { return Impl.end();   }