SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
smtrat::qe::util::Matrix::row_view Struct Reference

#include <Matrix.h>

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

Public Member Functions

row_iterator begin ()
 
row_iterator end ()
 
 row_view (const Matrix &m, const RowIndex ri)
 

Private Attributes

const Matrixmr_data
 
RowIndex m_row_id
 

Detailed Description

Definition at line 161 of file Matrix.h.

Constructor & Destructor Documentation

◆ row_view()

smtrat::qe::util::Matrix::row_view::row_view ( const Matrix m,
const RowIndex  ri 
)
inline

Definition at line 168 of file Matrix.h.

Member Function Documentation

◆ begin()

row_iterator smtrat::qe::util::Matrix::row_view::begin ( )
inline

Definition at line 166 of file Matrix.h.

Here is the call graph for this function:

◆ end()

row_iterator smtrat::qe::util::Matrix::row_view::end ( )
inline

Definition at line 167 of file Matrix.h.

Here is the call graph for this function:

Field Documentation

◆ m_row_id

RowIndex smtrat::qe::util::Matrix::row_view::m_row_id
private

Definition at line 164 of file Matrix.h.

◆ mr_data

const Matrix& smtrat::qe::util::Matrix::row_view::mr_data
private

Definition at line 163 of file Matrix.h.


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