pub fn extract_linear(arena: &ExprArena, id: ExprId) -> Option<LinearTerms>Expand description
Snapshot the linear terms of id, if any. Used by solver backends to
extract LP coefficients without walking the tree themselves.
Parameters are folded to their current arena values, so the returned
coefficients reflect the latest ExprArena::set_param_value binding.