validation.hpp File Reference

#include <expected>
#include <string_view>
#include "serif/backend/mfem/solver/preconditioner/inverse.hpp"
#include "serif/utils/error/errors.hpp"

Include dependency graph for validation.hpp:

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

Namespaces
namespace	serif
namespace	serif::solver
namespace	serif::solver::preconditioner
namespace	serif::solver::preconditioner::backend
namespace	serif::solver::preconditioner::backend::mfem
namespace	serif::solver::preconditioner::backend::mfem::detail

Functions
template<utils::errors::SERiFErrorCode Code, typename... Arguments>
std::unexpected< Failure >	serif::solver::preconditioner::backend::mfem::detail::failure (const std::string_view message, Arguments... arguments)
	Keep preparation failures typed while using the common SERiF diagnostic formatter.
std::expected< void, Failure >	serif::solver::preconditioner::backend::mfem::detail::check_square (const ::mfem::Operator *operation)
	Validate a nonempty square inverse input without dereferencing a missing operator.
bool	serif::solver::preconditioner::backend::mfem::detail::vectors_overlap (const ::mfem::Vector &first, const ::mfem::Vector &second)
	Detect exact or partial overlap without comparing unrelated pointers with built-in ordering.
void	serif::solver::preconditioner::backend::mfem::detail::copy_coordinates (const ::mfem::Vector &input, ::mfem::Vector &output)
	Copy equal-sized host coordinates safely even when their buffers overlap.
void	serif::solver::preconditioner::backend::mfem::detail::require_application_size (const ::mfem::Operator &operation, const ::mfem::Vector &input, const ::mfem::Vector &output)
	Guard caller-owned vector dimensions before a fixed-size, allocation-stable action.