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...>
Definition concepts.h:37
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
Ttype to check
Uany number of types to check against