dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::IsNotAnyOf Concept Reference

Check if the type T is not any of the types U. More...

#include <concepts.h>

Concept definition

template<typename T, typename... U>
concept dlinear::IsNotAnyOf = !IsAnyOf<T, U...>
Check if the type T is any of the types U.
Definition concepts.h:26
Check if the type T is not any of the types U.
Definition concepts.h:38
@ U
Upper bound.

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

Definition at line 38 of file concepts.h.