|
CorrSolver 1.2.7; VERSION ${PROJECT_VERSION}
|
Quadratic Matrix Inequality (QMI) oracle. More...
#include <qmi_oracle.hpp>
Public Member Functions | |
| QmiOracle (const std::vector< Arr036 > &F, Arr036 F0) | |
| auto | update (double t) -> void |
| auto | assess_feas (const Arr036 &x) -> std::optional< Cut > |
Public Attributes | |
| size_t | _m |
| LDLTMgr | _mq |
Quadratic Matrix Inequality (QMI) oracle.
Determines feasibility of a point with respect to a QMI constraint defined by a set of symmetric matrices.
| Arr036 | The array/matrix type (e.g. Arr from ellalgo). |
| QmiOracle< Arr036 >::QmiOracle | ( | const std::vector< Arr036 > & | F, |
| Arr036 | F0 | ||
| ) |
| auto QmiOracle< Arr036 >::assess_feas | ( | const Arr036 & | x | ) | -> std::optional< Cut > |
|
inline |
| size_t QmiOracle< Arr036 >::_m |
| LDLTMgr QmiOracle< Arr036 >::_mq |