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§
Sourcefn at_checkpoint(&mut self, ctx: &mut DebugCtx) -> DebugAction
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§
Sourcefn wants_kkt_capture(&self) -> bool
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".