Defined in File RandomGenerators.h
Returns a random permutation of a vector: all the elements of the input vector are in the output but at random positions.