smats
0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
smats::Spannable Concept Reference
#include <
concepts.h
>
Concept definition
template
<
class
T>
concept
smats::Spannable
= std::ranges::contiguous_range<T> && std::ranges::sized_range<T>
smats::Spannable
Definition
concepts.h:110
Detailed Description
Check if the type T can be used to create a span
Template Parameters
T
type to check
smats
Spannable
Generated by
1.11.0