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

#include <concepts.hpp>

Concept definition

template<typename R, typename T>
concept sat::concepts::typed_range = std::ranges::range<R> && std::same_as<std::ranges::range_value_t<R>, T>
Definition concepts.hpp:69

Detailed Description

C++20 range of a given type