Searched refs:Pointer_vector (Results 1 – 7 of 7) sorted by relevance
260 class Pointer_vector : public std::vector<T *> { class264 ~Pointer_vector() { in ~Pointer_vector()305 Pointer_vector<Geometry> added; in merge_one_run()470 for (Pointer_vector<Geometry>::iterator i = added.begin(); i != added.end(); in merge_one_run()
310 class Pointer_vector : public std::vector<T *> class314 ~Pointer_vector() in ~Pointer_vector()369 Pointer_vector<Geometry> added; in merge_one_run()554 for (Pointer_vector<Geometry>::iterator i= added.begin(); in merge_one_run()