delpi  0.0.1
DElta-complete LP solver
Loading...
Searching...
No Matches
delpi::Row Struct Reference

Structure representing a row in the LP solver in the form of a linear combination of variables. More...

#include <Row.h>

Public Attributes

std::vector< std::pair< Variable, mpq_class > > addends
 Linear combination of variables.
std::optional< mpq_class > lb
 Lower bound. Ifstd::nullopt, indicated unboundness.
std::optional< mpq_class > ub
 Upper bound. Ifstd::nullopt, indicated unboundness.

Detailed Description

Structure representing a row in the LP solver in the form of a linear combination of variables.

Note
Missing bounds are represented by std::nullopt, which means that the row is unbounded in that direction. E.g. lb = std::nullopt and ub = 5 represents a row such that \( -\infty \leq \text{addends} \leq 5 \).

Definition at line 24 of file Row.h.


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