![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
#include <Jobs.h>
Public Member Functions | |
iterator (std::size_t k, std::size_t factor, const std::vector< T > &data) | |
Create a randomized iterator. More... | |
const T & | operator* () |
Dereference iterator. More... | |
iterator & | operator++ () |
Increment iterator. More... | |
bool | operator!= (const iterator &rhs) const |
Compare two iterators. More... | |
Private Attributes | |
std::size_t | mK = 0 |
std::size_t | mFactor |
const std::vector< T > & | mData |
|
inline |
|
inline |
|
inline |
|
inline |
|
private |
|
private |
|
private |