Class lmi_oracle

Page Contents

Class Documentation

class lmi_oracle

Oracle for Linear Matrix Inequality.

This oracle solves the following feasibility problem: 

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

Public Functions

inline lmi_oracle(gsl::span<const Arr> F, Arr B)

Construct a new lmi oracle object.

Parameters

  • F – [in]

  • B – [in]

auto operator()(const Arr &x) -> std::optional<Cut>
Parameters

x – [in]

Returns

std::optional<Cut>