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.
pub fn extract_linear(arena: &ExprArena, id: ExprId) -> Option<LinearTerms>Snapshot the linear terms of id, if any. Used by solver backends to
extract LP coefficients without walking the tree themselves.