Enum PinRefusal 

pub enum PinRefusal {
    Suffixes(String),
    UntaggedParameter(usize),
    PinIsNotAnEquality(usize),
    PinRowIsNotUnit {
        con: usize,
        coefficient: Number,
    },
}

Why the convex arm cannot express this request. Carrying the reason (rather than an Option) is what lets the caller print a message a user can act on — and what keeps “the convex arm declined” distinguishable from “the convex arm answered zero”.

Variants

Suffixes(String)

A required suffix is absent or the wrong length.

UntaggedParameter(usize)

A parameter has no sens_state_1 or no sens_init_constr tag.

PinIsNotAnEquality(usize)

The pinning constraint is an inequality (or a range). parametric_step perturbs the equality right-hand side b; an inequality lives in h/G, which is a different perturbation with a different meaning.

PinRowIsNotUnit

The pinning row is not x_p = value with a unit coefficient.

The NLP arm assumes this shape without checking it — try_compute_sens_step passes signs = vec![1; n_params] — so a row with any other coefficient would make the two arms disagree. Refusing here hands such a model back to the path that has always handled it, rather than introducing a second answer.

Fields

con: usize

coefficient: Number

Implementations

impl PinRefusal

pub fn describe(&self) -> String

A sentence for the “routing to the general NLP path” note.

Trait Implementations

impl Clone for PinRefusal

fn clone(&self) -> PinRefusal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PinRefusal

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

Formats the value using the given formatter.

impl PartialEq for PinRefusal

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PinRefusal