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

#include <Matrix.h>

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

Public Member Functions

col_iterator begin ()
 
col_iterator end ()
 
 col_view (const Matrix &m, const ColIndex ci)
 

Private Attributes

const Matrixmr_data
 
ColIndex m_col_id
 

Detailed Description

Definition at line 196 of file Matrix.h.

Constructor & Destructor Documentation

◆ col_view()

smtrat::qe::util::Matrix::col_view::col_view ( const Matrix m,
const ColIndex  ci 
)
inline

Definition at line 203 of file Matrix.h.

Member Function Documentation

◆ begin()

col_iterator smtrat::qe::util::Matrix::col_view::begin ( )
inline

Definition at line 201 of file Matrix.h.

Here is the call graph for this function:

◆ end()

col_iterator smtrat::qe::util::Matrix::col_view::end ( )
inline

Definition at line 202 of file Matrix.h.

Here is the call graph for this function:

Field Documentation

◆ m_col_id

ColIndex smtrat::qe::util::Matrix::col_view::m_col_id
private

Definition at line 199 of file Matrix.h.

◆ mr_data

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

Definition at line 198 of file Matrix.h.


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