Struct VerifySparseSolutionOp 

pub struct VerifySparseSolutionOp;

Op marker for verify_sparse_solution. SubLinear in n.

Trait Implementations

impl Clone for VerifySparseSolutionOp

fn clone(&self) -> VerifySparseSolutionOp

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Complexity for VerifySparseSolutionOp

const CLASS: ComplexityClass = ComplexityClass::SubLinear

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 = "Residual audit restricted to caller-supplied closure entries. \ O(|entries| · avg_row_nnz) — same class as the SubLinear orchestrator \ whose output it verifies. Independent of n for sparse DD matrices."

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.

impl Debug for VerifySparseSolutionOp

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for VerifySparseSolutionOp

fn default() -> VerifySparseSolutionOp

Returns the “default value” for a type.

impl Copy for VerifySparseSolutionOp