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

#include <Matrix.h>

Collaboration diagram for smtrat::fmplex::Matrix::row_iterator:

Public Member Functions

 row_iterator (const std::vector< RowEntry > &data, DataIndex idx)
 
const RowEntryoperator* () const
 
const RowEntryoperator-> () const
 
row_iteratoroperator++ ()
 
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 143 of file Matrix.h.

Constructor & Destructor Documentation

◆ row_iterator()

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

Definition at line 148 of file Matrix.h.

Member Function Documentation

◆ operator!=()

bool smtrat::fmplex::Matrix::row_iterator::operator!= ( const row_iterator it) const
inline

Definition at line 157 of file Matrix.h.

◆ operator*()

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

Definition at line 151 of file Matrix.h.

Here is the caller graph for this function:

◆ operator++()

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

Definition at line 154 of file Matrix.h.

◆ operator->()

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

Definition at line 152 of file Matrix.h.

Here is the call graph for this function:

◆ operator==()

bool smtrat::fmplex::Matrix::row_iterator::operator== ( const row_iterator it) const
inline

Definition at line 156 of file Matrix.h.

Field Documentation

◆ m_curr

DataIndex smtrat::fmplex::Matrix::row_iterator::m_curr
private

Definition at line 146 of file Matrix.h.

◆ mr_data

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

Definition at line 145 of file Matrix.h.


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