#include <ellalgo/oracles/lmi0_oracle.hpp>
template<typename Arr036, typename Mat = Arr036>
Lmi0Oracle class

Oracle for Linear Matrix Inequality.

This oracle solves the following feasibility problem:

find  x
s.t.  F * x <= 0

Constructors, destructors, conversion operators

Lmi0Oracle(size_t ndim, const std::vector<Mat>& F)
Construct a new Lmi 0 Oracle object.

Public functions

auto assess_feas(const Arr036& x) -> Cut * -> auto
auto operator()(const Arr036& x) -> Cut * -> auto

Public variables

LDLTMgr _mq

Function documentation

template<typename Arr036 _1, typename Mat>
Lmi0Oracle<_1, Mat>::Lmi0Oracle(size_t ndim, const std::vector<Mat>& F)

Construct a new Lmi 0 Oracle object.

Parameters
ndim in
F in

template<typename Arr036 _1, typename Mat>
auto Lmi0Oracle<_1, Mat>::assess_feas(const Arr036& x) -> Cut *

Parameters
x in
Returns Cut*

template<typename Arr036 _1, typename Mat>
auto Lmi0Oracle<_1, Mat>::operator()(const Arr036& x) -> Cut *

Parameters
x in
Returns Cut*