Struct VerifyOutcome 

pub struct VerifyOutcome {

    pub n_vars: usize,
    pub n_cons: usize,
    pub nl_sha256: String,
    pub sol_sha256: String,
    pub solve_result_num: Option<i32>,
    pub feas_tol: Number,
    pub opt_tol: Number,
    pub max_con_violation: Number,
    pub worst_con: Option<RowReport>,
    pub max_bound_violation: Number,
    pub worst_bound: Option<RowReport>,
    pub feasible: bool,
    pub objective: Option<Number>,
    pub duals_present: bool,
    pub stationarity: Option<Number>,
    pub dual_sign: Option<i32>,
    pub constraint_complementarity: Option<Number>,
    pub bound_multipliers_present: bool,
    pub bound_complementarity: Option<Number>,
    pub stationarity_with_bound_multipliers: Option<Number>,
    pub optimal: Option<bool>,
    pub discrete: Option<DiscreteCensus>,
    pub integrality: Option<(Number, usize)>,
    pub abs_feas_tol: Option<Number>,
    pub verified: bool,
}

The fully-evaluated verification result. Serialized to the JSON receipt and rendered to the console.

Fields

n_vars: usize

n_cons: usize

nl_sha256: String

sol_sha256: String

solve_result_num: Option<i32>

feas_tol: Number

opt_tol: Number

max_con_violation: Number

worst_con: Option<RowReport>

max_bound_violation: Number

worst_bound: Option<RowReport>

feasible: bool

objective: Option<Number>

duals_present: bool

stationarity: Option<Number>

dual_sign: Option<i32>

constraint_complementarity: Option<Number>

max_i |λ_i| · dist(g_i, active side) over rows. NOT the quantity a solver reports as Complementarity — see bound_complementarity.

bound_multipliers_present: bool

Whether the .sol carried ipopt_zL_out / ipopt_zU_out.

bound_complementarity: Option<Number>

max_j max(|z_L·(x−x_L)|, |z_U·(x_U−x)|) over variables — the quantity Ipopt prints as Complementarity. None when the .sol carried no bound multipliers, in which case it is not checked rather than zero.

stationarity_with_bound_multipliers: Option<Number>

Exact (non-projected) dual infeasibility ‖∇f + sign·Jᵀλ − (z_L^suffix + z_U^suffix)‖∞, available only when both duals and bound multipliers are present.

optimal: Option<bool>

discrete: Option<DiscreteCensus>

The .nl header’s declared binary / integer census (gh#987).

integrality: Option<(Number, usize)>

Max distance to the nearest integer over the declared integer columns, and the worst column. None when integrality was not checked (no discrete variables, or their columns cannot be told apart from the header alone).

abs_feas_tol: Option<Number>

The tolerance used for the absolute test, when --abs-feas-tol was set.

verified: bool

Trait Implementations

impl Debug for VerifyOutcome

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

Formats the value using the given formatter.