Struct ConicProgram 

pub struct ConicProgram {
    pub prob: QpProblem,
    pub cones: Vec<ConeSpec>,
    pub obj_constant: f64,
}

A CBF instance mapped to a pounce conic program min ½xᵀPx + cᵀx s.t. Ax = b, Gx ⪯_K h (here P = 0). The cones partition the rows of G in order; obj_constant (c₀, sign-adjusted) is added to solution.obj to recover the CBF objective value.

Fields

prob: QpProblem

cones: Vec<ConeSpec>

obj_constant: f64

Implementations

impl ConicProgram

pub fn cbf_objective(&self, pounce_obj: f64, minimize: bool) -> f64

Recover the CBF objective value from a pounce solution objective ½xᵀPx + cᵀx. For a MAX instance the linear term was negated when building, so the value is −pounce_obj + c₀.

Trait Implementations

impl Clone for ConicProgram

fn clone(&self) -> ConicProgram

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConicProgram

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

Formats the value using the given formatter.