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