#include <Matrix.h>
Definition at line 174 of file Matrix.h.
◆ col_iterator()
smtrat::qe::util::Matrix::col_iterator::col_iterator |
( |
Column::const_iterator |
it, |
|
|
const std::vector< RowEntry > & |
data |
|
) |
| |
|
inline |
◆ operator!=()
bool smtrat::qe::util::Matrix::col_iterator::operator!= |
( |
const col_iterator & |
other | ) |
const |
|
inline |
◆ operator*()
const RowEntry& smtrat::qe::util::Matrix::col_iterator::operator* |
( |
| ) |
const |
|
inline |
◆ operator++()
col_iterator& smtrat::qe::util::Matrix::col_iterator::operator++ |
( |
| ) |
|
|
inline |
◆ operator->()
const RowEntry* smtrat::qe::util::Matrix::col_iterator::operator-> |
( |
| ) |
const |
|
inline |
◆ operator==()
bool smtrat::qe::util::Matrix::col_iterator::operator== |
( |
const col_iterator & |
other | ) |
const |
|
inline |
◆ row()
RowIndex smtrat::qe::util::Matrix::col_iterator::row |
( |
| ) |
const |
|
inline |
◆ m_it
Column::const_iterator smtrat::qe::util::Matrix::col_iterator::m_it |
|
private |
◆ mr_data
const std::vector<RowEntry>& smtrat::qe::util::Matrix::col_iterator::mr_data |
|
private |
The documentation for this struct was generated from the following file: