#include <lmisolver/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 dim, const std::vector<Mat>& F)
Construct a new lmi oracle object.

Public functions

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

Public variables

ldlt_ext _Q

Function documentation

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

Construct a new lmi oracle object.

Parameters
dim in
F in

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

Parameters
x in
Returns std::optional<Cut>

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

Parameters
x in
Returns std::optional<Cut>