SAT Solver Template
Loading...
Searching...
No Matches
sat::concepts::callable_r Concept Reference

#include <concepts.hpp>

Concept definition

template<typename Functor, typename Return, typename ... Args>
concept sat::concepts::callable_r = std::invocable<Functor, Args...> &&
std::convertible_to<std::invoke_result_t<Functor, Args...>, Return>
Definition concepts.hpp:56

Detailed Description

Concept for a callable object that is invocable with various arguments and returns a certain return type