SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
smtrat::fmplex::Matrix::col_iterator Struct Reference

#include <Matrix.h>

Collaboration diagram for smtrat::fmplex::Matrix::col_iterator:

Public Member Functions

 col_iterator (Column::const_iterator it, const std::vector< RowEntry > &data)
 
const RowEntryoperator* () const
 
const RowEntryoperator-> () const
 
RowIndex row () const
 
col_iteratoroperator++ ()
 
bool operator== (const col_iterator &other) const
 
bool operator!= (const col_iterator &other) const
 

Private Attributes

Column::const_iterator m_it
 
const std::vector< RowEntry > & mr_data
 

Detailed Description

Definition at line 176 of file Matrix.h.

Constructor & Destructor Documentation

◆ col_iterator()

smtrat::fmplex::Matrix::col_iterator::col_iterator ( Column::const_iterator  it,
const std::vector< RowEntry > &  data 
)
inline

Definition at line 181 of file Matrix.h.

Member Function Documentation

◆ operator!=()

bool smtrat::fmplex::Matrix::col_iterator::operator!= ( const col_iterator other) const
inline

Definition at line 191 of file Matrix.h.

◆ operator*()

const RowEntry& smtrat::fmplex::Matrix::col_iterator::operator* ( ) const
inline

Definition at line 184 of file Matrix.h.

Here is the caller graph for this function:

◆ operator++()

col_iterator& smtrat::fmplex::Matrix::col_iterator::operator++ ( )
inline

Definition at line 188 of file Matrix.h.

◆ operator->()

const RowEntry* smtrat::fmplex::Matrix::col_iterator::operator-> ( ) const
inline

Definition at line 185 of file Matrix.h.

Here is the call graph for this function:

◆ operator==()

bool smtrat::fmplex::Matrix::col_iterator::operator== ( const col_iterator other) const
inline

Definition at line 190 of file Matrix.h.

◆ row()

RowIndex smtrat::fmplex::Matrix::col_iterator::row ( ) const
inline

Definition at line 186 of file Matrix.h.

Field Documentation

◆ m_it

Column::const_iterator smtrat::fmplex::Matrix::col_iterator::m_it
private

Definition at line 178 of file Matrix.h.

◆ mr_data

const std::vector<RowEntry>& smtrat::fmplex::Matrix::col_iterator::mr_data
private

Definition at line 179 of file Matrix.h.


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