Class lmi0_oracle

• Defined in File lmi0_oracle.hpp

Class Documentation

class lmi0_oracle

Oracle for Linear Matrix Inequality.

This oracle solves the following feasibility problem:

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

Public Functions

inline explicit lmi0_oracle(gsl::span<const Arr> F)

Construct a new lmi0 oracle object.

Parameters

F – [in]

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

Parameters

x – [in]

Returns

std::optional<Cut>

Public Members

ldlt_ext _Q