Struct SolverDebugger 

pub struct SolverDebugger { /* private fields */ }

Implementations

impl SolverDebugger

pub fn new(mode: DebugMode, reg: Option<Rc<RegisteredOptions>>) -> Self

Fully interactive: pause at the first iteration and at the terminal checkpoint.

pub fn with_script(self, path: String) -> Self

Queue a debugger script to run once at the first pause.

pub fn set_equation_book(&mut self, book: EquationBook)

Attach the source model’s rendered constraint equations, enabling print equation <name|row>. Wired in on the .nl entry path (see Lee et al. 2024, https://doi.org/10.69997/sct.147875).

pub fn set_structure_book(&mut self, book: StructureBook)

Attach the source model’s structural rank analysis, enabling the diagnose command’s structural_singularity finding (named dependent equations). Wired in on the .nl entry path alongside the equation book. See Lee et al. (2024, https://doi.org/10.69997/sct.147875).

pub fn with_restart(self, cell: RestartCell) -> Self

Enable the resolve command, wiring the shared restart slot the CLI’s re-solve loop reads.

pub fn on_error(mode: DebugMode, reg: Option<Rc<RegisteredOptions>>) -> Self

Post-mortem: run freely, then drop in at the terminal checkpoint only if the solve did not succeed (--debug-on-error).

pub fn on_interrupt(mode: DebugMode, reg: Option<Rc<RegisteredOptions>>) -> Self

Attach-on-demand: run normally and only drop in when the user presses Ctrl-C (--debug-on-interrupt). No automatic iter or terminal pauses.

pub fn staged_options(&self) -> &[(String, String)]

Option edits accepted at the prompt (validated). The caller may re-run the solve with these applied.

Trait Implementations

impl DebugHook for SolverDebugger

fn wants_kkt_capture(&self) -> bool

Capture the heavy KKT matrix / LDLᵀ factor only while attached: once detached the debugger runs free and won’t viz, so there’s no reason to pay the O(nnz) assembly every iteration.

fn at_checkpoint(&mut self, ctx: &mut DebugCtx) -> DebugAction

Called at every Checkpoint. Inspect and/or mutate via ctx, then return whether to keep solving.