Struct EquationBook 

pub struct EquationBook { /* private fields */ }

Rendered constraint equations from the source model, indexed in original .nl row order. Lets the debugger answer print equation <name|row> with the actual algebra — the source expression for a constraint, resolved by its model name. This closes the loop on the residual-name labeling (print residuals): once a culprit equation is named, the user can read it. Naming and printing culprit equations rather than bare indices is the diagnostic recommendation of Lee et al. (2024, https://doi.org/10.69997/sct.147875).

Implementations

impl EquationBook

pub fn new(names: Vec<String>, equations: Vec<String>) -> Self

Build from parallel name / rendered-equation vectors (original .nl row order). Lengths are zipped to the shorter of the two.

pub fn len(&self) -> usize

Number of constraints with a rendered equation.

pub fn is_empty(&self) -> bool

True when there are no equations.