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