lucid  0.0.1
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
lucid::IsAnyOf Concept Reference

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

#include <concept.h>

Concept definition

template<class T, class... U>
concept lucid::IsAnyOf = (std::same_as<T, U> || ...)
Check if the type T is any of the types U.
Definition concept.h:135

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
Ttype to check
Uany number of types to check against