mundy::VectorBackend Concept Reference

Concept for a backend's vector-level operations: size, axpby, a plain inner product, and deep_copy.

#include <solver_backends.hpp>

Concept definition

template<class Backend, class Vector>
concept VectorBackend = requires(Vector& y, const Vector& x, impl::vector_value_type<Vector> a) {
  { Backend::size(x) } -> std::convertible_to<size_t>;
  { Backend::axpby(a, x, a, y) } -> std::same_as<void>;
  { Backend::template dot<impl::vector_value_type<Vector>>(x, x) };
  { Backend::deep_copy(y, x) };
}