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.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

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 = ()