RandomDeletion Struct Reference

Delete a random element at a random index. More...

#include <vector.hpp>

Static Public Member Functions
template<typename T >
static void	mutate (std::mt19937_64 &rng, std::vector< T > &vec)

Detailed Description

Delete a random element at a random index.

Definition at line 33 of file vector.hpp.

Member Function Documentation

mutate()

template<typename T >

static void RandomDeletion::mutate ( std::mt19937_64 &  rng, std::vector< T > &  vec  )

inlinestatic

Definition at line 34 of file vector.hpp.

---

The documentation for this struct was generated from the following file:

• src/barretenberg/avm_fuzzer/mutations/basic_types/vector.hpp