Struct CertificateInput 

pub struct CertificateInput<'a> {
    pub x: &'a [Number],
    pub grad_f: &'a [Number],
    pub g: &'a [Number],
    pub jac: &'a [(usize, usize, Number)],
    pub x_l: &'a [Number],
    pub x_u: &'a [Number],
    pub g_l: &'a [Number],
    pub g_u: &'a [Number],
    pub pairs: &'a [ComplementarityPair],
    pub solver_tol: Number,
    pub feas_tol: Number,
}

The point and model data certify reads. All indices 0-based, the Jacobian as (row, col, value) triplets of the inner model’s rows.

Fields

x: &'a [Number]

grad_f: &'a [Number]

g: &'a [Number]

jac: &'a [(usize, usize, Number)]

x_l: &'a [Number]

x_u: &'a [Number]

g_l: &'a [Number]

g_u: &'a [Number]

pairs: &'a [ComplementarityPair]

solver_tol: Number

The tolerance the answer was solved to (tol).

feas_tol: Number

The feasibility tolerance (constr_viol_tol): a point violating a row or bound by more is not certified, stationary or not.