SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::qe::util::Matrix::RowEntry Struct Reference

#include <Matrix.h>

Public Member Functions

 RowEntry (ColIndex col, const Rational &v)
 
 RowEntry ()
 

Data Fields

ColIndex col_index
 
Rational value
 

Detailed Description

Definition at line 15 of file Matrix.h.

Constructor & Destructor Documentation

◆ RowEntry() [1/2]

smtrat::qe::util::Matrix::RowEntry::RowEntry ( ColIndex  col,
const Rational &  v 
)
inline

Definition at line 18 of file Matrix.h.

◆ RowEntry() [2/2]

smtrat::qe::util::Matrix::RowEntry::RowEntry ( )
inline

Definition at line 19 of file Matrix.h.

Field Documentation

◆ col_index

ColIndex smtrat::qe::util::Matrix::RowEntry::col_index

Definition at line 16 of file Matrix.h.

◆ value

Rational smtrat::qe::util::Matrix::RowEntry::value

Definition at line 17 of file Matrix.h.

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