smats
0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
smats::IsAnyOf Concept Reference
#include <
concepts.h
>
Concept definition
template
<
class
T,
class
... U>
concept
smats::IsAnyOf
= (std::same_as<T, U> || ...)
smats::IsAnyOf
Definition
concepts.h:37
Detailed Description
Check if the type T is any of the types U
template
<IsAnyOf<
int
,
float
,
bool
> T>
void
foo(T t);
// T can be either int, float or bool
Template Parameters
T
type to check
U
any number of types to check against
smats
IsAnyOf
Generated by
1.11.0