SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Provides iteration over a given std::vector in a pseudo-randomized order. More...
#include <Jobs.h>
Data Structures | |
struct | iterator |
Public Member Functions | |
RandomizationAdaptor (const std::vector< T > &data) | |
Construct a randomized view on the given vector. More... | |
auto | begin () const |
Return begin of the randomized range. More... | |
auto | end () const |
Return end of the randomized range. More... | |
Private Attributes | |
const std::vector< T > & | mData |
std::size_t | mFactor |
Provides iteration over a given std::vector in a pseudo-randomized order.
Internally, it computes a factor that is coprime to the number of jobs (and thus generates all indices). We choose the factor in the order of the square root of the number of jobs.
|
inline |
|
inline |
|
inline |
|
private |
|
private |