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

#include <concepts.hpp>

Concept definition

template<typename R, typename T>
concept sat::concepts::ctyped_range = std::ranges::range<R>and std::convertible_to<std::ranges::range_value_t<R>, T>
Definition concepts.hpp:75

Detailed Description

C++20 range whose values can be converted to a certain type