| 724 | // Performs an in-place shuffle of the vector's elements. |
| 725 | template <typename E> |
| 726 | inline void Shuffle(internal::Random* random, std::vector<E>* v) { |
| 727 | ShuffleRange(random, 0, static_cast<int>(v->size()), v); |
| 728 | } |
| 729 | |
| 730 | // A function for deleting an object. Handy for being used as a |
| 731 | // functor. |
no test coverage detected