10#ifndef MCRL2_PG_SHUFFLE_H
11#define MCRL2_PG_SHUFFLE_H
23 std::size_t n = v.size();
24 for (std::size_t i = 0; i < n; ++i)
void swap(atermpp::unprotected_aterm_core &t1, atermpp::unprotected_aterm_core &t2) noexcept
Swaps two aterms.
static void shuffle_vector(std::vector< T > &v)