solve.hpp File Reference

#include <concepts>
#include <type_traits>
#include "mfem/linalg/operator.hpp"
#include "mfem/linalg/vector.hpp"
#include "serif/solver/linear/linear.hpp"
#include "serif/solver/preconditioner/contract.hpp"

Include dependency graph for solve.hpp:

This graph shows which files directly or indirectly include this file:

Namespaces
namespace	serif
namespace	serif::solver
namespace	serif::solver::linear
namespace	serif::solver::linear::backend
namespace	serif::solver::linear::backend::mfem

Functions
Report	serif::solver::linear::backend::mfem::solve (FGMRES options, const ::mfem::Operator &operation, ::mfem::Solver &preconditioner, preconditioner::ApplicationContract contract, const ::mfem::Vector &right_hand_side, ::mfem::Vector &correction, Control control={})
	Solve a serial linear system and independently verify the resulting correction.
template<typename Backend> requires (!std::same_as<std::remove_cvref_t<Backend>, FGMRES>)
Report	serif::solver::linear::backend::mfem::solve (const Backend &backend, const ::mfem::Operator &operation, ::mfem::Solver &inverse, preconditioner::ApplicationContract contract, const ::mfem::Vector &rhs, ::mfem::Vector &correction, Control control)
	Custom linear solvers implement the same checked-result contract as the built-in solver.