SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::RandomizationAdaptor< T >::iterator Struct Reference

#include <Jobs.h>

Inheritance diagram for benchmax::RandomizationAdaptor< T >::iterator:
Collaboration diagram for benchmax::RandomizationAdaptor< T >::iterator:

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...
 
iteratoroperator++ ()
 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
 

Detailed Description

template<typename T>
struct benchmax::RandomizationAdaptor< T >::iterator

Definition at line 22 of file Jobs.h.

Constructor & Destructor Documentation

◆ iterator()

template<typename T >
benchmax::RandomizationAdaptor< T >::iterator::iterator ( std::size_t  k,
std::size_t  factor,
const std::vector< T > &  data 
)
inline

Create a randomized iterator.

Definition at line 29 of file Jobs.h.

Member Function Documentation

◆ operator!=()

template<typename T >
bool benchmax::RandomizationAdaptor< T >::iterator::operator!= ( const iterator rhs) const
inline

Compare two iterators.

Definition at line 42 of file Jobs.h.

◆ operator*()

template<typename T >
const T& benchmax::RandomizationAdaptor< T >::iterator::operator* ( )
inline

Dereference iterator.

Definition at line 33 of file Jobs.h.

◆ operator++()

template<typename T >
iterator& benchmax::RandomizationAdaptor< T >::iterator::operator++ ( )
inline

Increment iterator.

Definition at line 37 of file Jobs.h.

Field Documentation

◆ mData

template<typename T >
const std::vector<T>& benchmax::RandomizationAdaptor< T >::iterator::mData
private

Definition at line 26 of file Jobs.h.

◆ mFactor

template<typename T >
std::size_t benchmax::RandomizationAdaptor< T >::iterator::mFactor
private

Definition at line 25 of file Jobs.h.

◆ mK

template<typename T >
std::size_t benchmax::RandomizationAdaptor< T >::iterator::mK = 0
private

Definition at line 24 of file Jobs.h.


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