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