Trait SolverAlgorithm 

pub trait SolverAlgorithm: Send + Sync {
    type State: SolverState;

    // Required methods
    fn initialize(
        &self,
        matrix: &dyn Matrix,
        b: &[Precision],
        options: &SolverOptions,
    ) -> Result<Self::State>;
    fn step(&self, state: &mut Self::State) -> Result<StepResult>;
    fn is_converged(&self, state: &Self::State) -> bool;
    fn extract_solution(&self, state: &Self::State) -> Vec<Precision> ;
    fn update_rhs(
        &self,
        state: &mut Self::State,
        delta_b: &[(usize, Precision)],
    ) -> Result<()>;
    fn algorithm_name(&self) -> &'static str;

    // Provided method
    fn solve(
        &self,
        matrix: &dyn Matrix,
        b: &[Precision],
        options: &SolverOptions,
    ) -> Result<SolverResult> { ... }
}

Core trait for all solver algorithms.

This trait defines the interface that all sublinear-time solvers must implement, providing both batch and streaming solution capabilities.

Required Associated Types

type State: SolverState

Solver-specific state type

Required Methods

fn initialize( &self, matrix: &dyn Matrix, b: &[Precision], options: &SolverOptions, ) -> Result<Self::State>

Initialize the solver state for a given problem.

fn step(&self, state: &mut Self::State) -> Result<StepResult>

Perform a single iteration step.

fn is_converged(&self, state: &Self::State) -> bool

Check if the current state meets convergence criteria.

fn extract_solution(&self, state: &Self::State) -> Vec<Precision>

Extract the current solution from the state.

fn update_rhs( &self, state: &mut Self::State, delta_b: &[(usize, Precision)], ) -> Result<()>

Update the right-hand side for incremental solving.

fn algorithm_name(&self) -> &'static str

Get the algorithm name for identification.

Provided Methods

fn solve( &self, matrix: &dyn Matrix, b: &[Precision], options: &SolverOptions, ) -> Result<SolverResult>

Solve the linear system Ax = b.

This is the main interface for solving linear systems. It handles the iteration loop and convergence checking automatically.

Implementors

impl SolverAlgorithm for NeumannSolver

type State = NeumannState

impl SolverAlgorithm for BackwardPushSolver

type State = ()

impl SolverAlgorithm for ForwardPushSolver

type State = ()

impl SolverAlgorithm for HybridSolver

type State = ()