Skip to main content

starting_point_refutes_infeasibility

pounce_algorithm::infeasibility_refutation

Function starting_point_refutes_infeasibility 

Source 
pub fn starting_point_refutes_infeasibility(
    tnlp: &Rc<RefCell<dyn TNLP>>,
    lower_bound_inf: Number,
    upper_bound_inf: Number,
    tol: Number,
) -> Option<FeasibleWitness>
Expand description

Try to refute a candidate infeasibility verdict using the model’s starting point.

Returns the witness when the starting point (clamped into the variable box) satisfies every constraint; None when it does not, or when the model cannot be evaluated. None means “no refutation”, never “infeasible”.

lower_bound_inf / upper_bound_inf are the solver’s nlp_lower_bound_inf / nlp_upper_bound_inf sentinels: a bound at or beyond them is treated as absent, both for clamping and for sizing a row’s magnitude. Letting the sentinel (~1e19) inform the scale would put the slack around 1e11 and make every row look satisfied — the same trap the presolve refutation documents.