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

#include <concepts.hpp>

Concept definition

template<typename R, template< typename > typename T>
concept sat::concepts::ttyped_range = std::ranges::range<R> && traits::is_same_template_v<T, std::ranges::range_value_t<R>>
Definition concepts.hpp:81

Detailed Description

C++20 range that contains some incomplete template type