Struct CbfModel 

pub struct CbfModel {
    pub minimize: bool,
    pub num_var: usize,
    pub var_cones: Vec<ConeDecl>,
    pub num_con: usize,
    pub con_cones: Vec<ConeDecl>,
    pub c: Vec<f64>,
    pub c0: f64,
    pub a: Vec<(usize, usize, f64)>,
    pub b: Vec<f64>,
    pub psdcon_dims: Vec<usize>,
    pub hcoord: Vec<(usize, usize, usize, usize, f64)>,
    pub dcoord: Vec<(usize, usize, usize, f64)>,
}

A parsed CBF instance: the objective, the variable / constraint cone partitions, and the sparse A/b (and objective c/c₀).

Fields

minimize: bool

true for OBJSENSE MIN, false for MAX.

num_var: usize

var_cones: Vec<ConeDecl>

num_con: usize

con_cones: Vec<ConeDecl>

c: Vec<f64>

Objective linear term c, dense (length num_var).

c0: f64

Objective constant c₀.

a: Vec<(usize, usize, f64)>

Constraint matrix A as (row, col, val) triplets.

b: Vec<f64>

Constraint constant b, dense (length num_con).

psdcon_dims: Vec<usize>

Matrix sizes of the affine PSD constraints (PSDCON): constraint c asserts D_c + Σ_k x_k H_{c,k} ⪰ 0 over a psdcon_dims[c]-square matrix.

hcoord: Vec<(usize, usize, usize, usize, f64)>

HCOORD entries (con, var, i, j, val): H_{con,var}[i][j] = val (lower triangle, i ≥ j) — the coefficient of scalar variable var on entry (i,j) of PSD constraint con.

dcoord: Vec<(usize, usize, usize, f64)>

DCOORD entries (con, i, j, val): D_con[i][j] = val (lower triangle) — the constant term of PSD constraint con.

Implementations

impl CbfModel

pub fn to_conic(&self) -> Result<ConicProgram, CbfError>

Map this instance to a pounce conic program. Variable cones become slack blocks s = −Gx ∈ K (a G = −I selection, h = 0); constraint cones use s = h − Gx = Ax + b ∈ K. L= rows become equalities Ax = −b. Exponential triples are reversed, and power triples rotated, into pounce cone order (see the per-arm comments).

Trait Implementations

impl Clone for CbfModel

fn clone(&self) -> CbfModel

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CbfModel

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.