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