smtrat::qe::util::Matrix::ColEntry Struct Reference

#include <Matrix.h>

Data Fields
RowIndex	row_index
DataIndex	position

Detailed Description

Definition at line 22 of file Matrix.h.

Field Documentation

position

DataIndex smtrat::qe::util::Matrix::ColEntry::position

Definition at line 24 of file Matrix.h.

row_index

RowIndex smtrat::qe::util::Matrix::ColEntry::row_index

Definition at line 23 of file Matrix.h.

---

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

• smtrat-qe/util/Matrix.h