Struct ContrastiveSolveOnChangeOp 

pub struct ContrastiveSolveOnChangeOp;

Marker type with a Complexity impl for contrastive_solve_on_change.

The phase-2A orchestrator’s worst-case bound is dominated by the inner solve_on_change call (Linear). For the SubLinear path use contrastive_solve_on_change_sublinear + ContrastiveSolveOnChangeSublinearOp.

Trait Implementations

impl Complexity for ContrastiveSolveOnChangeOp

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).

const DETAIL: &'static str = "Phase-2A: closure (SubLinear) + warm-start solve (Linear) + top-k-in-subset \ (SubLinear). Phase-2B replaces the inner solve with per-entry sublinear-Neumann \ queries scoped to the closure, dropping the orchestrator end-to-end to SubLinear."

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.