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

Oracle for Linear Matrix Inequality.

This oracle solves the following feasibility problem:

find  x
s.t.  (B - F * x) >= 0

Constructors, destructors, conversion operators

LmiOracle(size_t ndim, const std::vector<Mat>& F, Mat B)
Construct a new lmi oracle object.

Public functions

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

Function documentation

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

Construct a new lmi oracle object.

Parameters
ndim in
F in
B in

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

Parameters
x in
Returns Cut*

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

Parameters
x in
Returns Cut*