pub struct IncrementalSolveOp;Expand description
Marker type with a Complexity impl declaring the asymptotic class of
IncrementalSolver::solve_on_change. Pure documentation — the actual
impl lives on the underlying solver’s Complexity impl, this just
exists so MCP schema generation has a stable target.
Trait Implementations§
Source§impl Complexity for IncrementalSolveOp
impl Complexity for IncrementalSolveOp
Source§const CLASS: ComplexityClass
const CLASS: ComplexityClass
Worst-case complexity class on a single-query call. For iterative
solvers this is the per-iter cost; the iteration count is bounded by
other configuration (max_iterations, tolerance, ef_construction).
Source§const DETAIL: &'static str = "O(k_warm · nnz(A)) per call where k_warm ≪ k_cold for small deltas on \
well-conditioned DD systems; falls back to full solve when \
nnz(delta) > full_solve_break_even (default 64)."
const DETAIL: &'static str = "O(k_warm · nnz(A)) per call where k_warm ≪ k_cold for small deltas on \ well-conditioned DD systems; falls back to full solve when \ nnz(delta) > full_solve_break_even (default 64)."
Optional human-readable detail for documentation / MCP tool schemas.
Defaults to the short label of
CLASS. Override when there’s a
non-obvious constant or k-bound.Auto Trait Implementations§
impl Freeze for IncrementalSolveOp
impl RefUnwindSafe for IncrementalSolveOp
impl Send for IncrementalSolveOp
impl Sync for IncrementalSolveOp
impl Unpin for IncrementalSolveOp
impl UnsafeUnpin for IncrementalSolveOp
impl UnwindSafe for IncrementalSolveOp
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more