Skip to main content

DebugHook

Trait DebugHook 

Source
pub trait DebugHook {
    // Required method
    fn at_checkpoint(&mut self, ctx: &mut DebugCtx) -> DebugAction;

    // Provided method
    fn wants_kkt_capture(&self) -> bool { ... }
}
Expand description

A consumer that the main loop pauses at each checkpoint. The CLI’s REPL / agent driver is the production implementation.

Required Methods§

Source

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.

Provided Methods§

Source

fn wants_kkt_capture(&self) -> bool

Whether the main loop should capture the (heavier) KKT matrix triplets and LDLᵀ factor into kkt_debug this iteration, so viz kkt / viz L can look back at the previous iteration’s system. True while the debugger is stepping interactively; an implementation that has detached (running free) returns false so the O(nnz) assembly isn’t paid every iteration. Defaults to true — the cheap inertia/status fields are captured regardless.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§