CorrSolver 1.2.7; VERSION ${PROJECT_VERSION}
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
QmiOracle< Arr036 > Class Template Reference

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
 

Detailed Description

template<typename Arr036>
class QmiOracle< Arr036 >

Quadratic Matrix Inequality (QMI) oracle.

Determines feasibility of a point with respect to a QMI constraint defined by a set of symmetric matrices.

Template Parameters
Arr036The array/matrix type (e.g. Arr from ellalgo).

Constructor & Destructor Documentation

◆ QmiOracle()

template<typename Arr036 >
QmiOracle< Arr036 >::QmiOracle ( const std::vector< Arr036 > &  F,
Arr036  F0 
)

Member Function Documentation

◆ assess_feas()

template<typename Arr036 >
auto QmiOracle< Arr036 >::assess_feas ( const Arr036 &  x) -> std::optional< Cut >

◆ update()

template<typename Arr036 >
auto QmiOracle< Arr036 >::update ( double  t) -> void
inline

Member Data Documentation

◆ _m

template<typename Arr036 >
size_t QmiOracle< Arr036 >::_m

◆ _mq

template<typename Arr036 >
LDLTMgr QmiOracle< Arr036 >::_mq

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