smtrat::qe::util::Matrix::row_iterator Struct Reference

#include <Matrix.h>

Collaboration diagram for smtrat::qe::util::Matrix::row_iterator:

Public Member Functions
	row_iterator (const std::vector< RowEntry > &data, DataIndex idx)
const RowEntry &	operator* () const
const RowEntry *	operator-> () const
row_iterator &	operator++ ()
bool	operator== (const row_iterator &it) const
bool	operator!= (const row_iterator &it) const

Private Attributes
const std::vector< RowEntry > &	mr_data
DataIndex	m_curr

Detailed Description

Definition at line 141 of file Matrix.h.

Constructor & Destructor Documentation

row_iterator()

smtrat::qe::util::Matrix::row_iterator::row_iterator ( const std::vector< RowEntry > &  data, DataIndex  idx  )

inline

Definition at line 146 of file Matrix.h.

Member Function Documentation

operator!=()

bool smtrat::qe::util::Matrix::row_iterator::operator!= ( const row_iterator &  it ) const

inline

Definition at line 155 of file Matrix.h.

operator*()

const RowEntry& smtrat::qe::util::Matrix::row_iterator::operator* ( ) const

inline

Definition at line 149 of file Matrix.h.

Here is the caller graph for this function:

operator++()

row_iterator& smtrat::qe::util::Matrix::row_iterator::operator++ ( )

inline

Definition at line 152 of file Matrix.h.

operator->()

const RowEntry* smtrat::qe::util::Matrix::row_iterator::operator-> ( ) const

inline

Definition at line 150 of file Matrix.h.

Here is the call graph for this function:

operator==()

bool smtrat::qe::util::Matrix::row_iterator::operator== ( const row_iterator &  it ) const

inline

Definition at line 154 of file Matrix.h.

Field Documentation

m_curr

DataIndex smtrat::qe::util::Matrix::row_iterator::m_curr

private

Definition at line 144 of file Matrix.h.

mr_data

const std::vector<RowEntry>& smtrat::qe::util::Matrix::row_iterator::mr_data

private

Definition at line 143 of file Matrix.h.

---

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

• smtrat-qe/util/Matrix.h