Enum ResidKind 

pub enum ResidKind {
    Eq,
    Ineq,
    DualX,
    DualS,
}

Which residual space a Residual entry comes from.

Primal entries are the per-constraint violations whose max-norm is inf_pr; dual entries are the per-variable Lagrangian-gradient components whose max-norm is inf_du.

Variants

Eq

Equality constraint residual c_i(x).

Ineq

Inequality residual d_i(x) − s_i (the IPM slack reformulation).

DualX

x-space stationarity component (∇_x L)_i.

DualS

s-space stationarity component (∇_s L)_i.

Implementations

impl ResidKind

pub fn tag(self) -> &'static str

Short label used in the debugger’s print residuals output and the JSON space field. Stable — readers may match on it.

pub fn is_primal(self) -> bool

true for the primal (constraint) spaces, false for the dual (stationarity) spaces.

Trait Implementations

impl Clone for ResidKind

fn clone(&self) -> ResidKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ResidKind

impl Debug for ResidKind

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

Formats the value using the given formatter.

impl Eq for ResidKind

impl PartialEq for ResidKind

fn eq(&self, other: &ResidKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for ResidKind