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