Proposition::reshuffle()

Syntax

$proposition->given(Proposition::reshuffle(Generator $generator, $chunk_size));

Provides values which are taken from the input generator, but where the values are shuffled (in chunks of size $chunk_size).

Notes

• This is done automatically by Proposition::given(). The default chunk size can be set in the constructor of Proposition.
• The memory footprint of the generator is approximately that of the input, multiplied by $chunk_size.