Module lmi_oracle 

Structs

LMIOracle

The LMIOracle struct represents an oracle for a Linear Matrix Inequality (LMI) constraint. It contains the necessary data to evaluate the LMI constraint, including the matrix mat_f, the matrix mat_f0, and an LDLTMgr instance for managing the Cholesky decomposition. This oracle can be used to check the feasibility of a given point with respect to the LMI constraint.

Type Aliases

Arr

Cut