![]() |
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 |