smtrat::fmplex::Matrix::ColEntry Struct Reference

#include <Matrix.h>

Data Fields
RowIndex	row_index
DataIndex	position

Detailed Description

Definition at line 24 of file Matrix.h.

Field Documentation

position

DataIndex smtrat::fmplex::Matrix::ColEntry::position

Definition at line 26 of file Matrix.h.

row_index

RowIndex smtrat::fmplex::Matrix::ColEntry::row_index

Definition at line 25 of file Matrix.h.

---

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

• smtrat-fmplex/Matrix.h