SAT Solver Template
Loading...
Searching...
No Matches
sat
concepts
ctyped_range
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>
sat::concepts::ctyped_range
Definition
concepts.hpp:75
Detailed Description
C++20 range whose values can be converted to a certain type
Generated by
1.9.8