concepts.hpp

Go to the documentation of this file.

#pragma once
 
#include <concepts>
#include <functional>
#include "../algorithms/core/result.hpp"
 
namespace limes::methods {
 
template<typename M, typename T>
concept IntegrationMethod = requires(M const& m, std::function<T(T)> f, T a, T b) {
    { m(f, a, b) } -> std::convertible_to<algorithms::integration_result<T>>;
};
 
template<typename M>
struct is_integration_method : std::false_type {};
 
template<typename M>
inline constexpr bool is_integration_method_v = is_integration_method<M>::value;
 
} // namespace limes::methods