Clingo
Loading...
Searching...
No Matches

Type traits used throughout the library. More...

Variables

template<class S , class... L>
constexpr bool CppClingo::Util::is_among_v = (std::is_same_v<S, L> || ...)
 Check if the type S is among the types in L.
 
template<class S , class... L>
constexpr bool CppClingo::Util::matches = is_among_v<std::remove_cvref_t<S>, L...>
 Check if the type S stripped from cv-qualifiers and references is among the types in L.
 

Detailed Description

Type traits used throughout the library.