| 
    Clingo
    
   | 
 
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.  | |
Type traits used throughout the library.