#include <lmisolver/lmi_old_oracle.hpp>
template<typename Arr036, typename Mat = Arr036>
LmiOldOracle 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

LmiOldOracle(size_t dim, 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, typename Mat>
LmiOldOracle<Arr036, Mat>::LmiOldOracle(size_t dim, const std::vector<Mat>& F, Mat B)

Construct a new lmi oracle object.

Parameters
dim
F in
B in

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

Parameters
x in
Returns std::optional<Cut>

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

Parameters
x in
Returns std::optional<Cut>