Last active
December 18, 2016 20:22
-
-
Save picanumber/64a70a7b7c2f4fb25883c8bbf8f7e6c9 to your computer and use it in GitHub Desktop.
Definition of the existential and universal quantifiers
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// ------------------------------------ "is there ?" | |
template <template <class> class P, class... Ts> | |
constexpr bool existential_quantifier = any_v<P<Ts>::value...>; | |
// ----------------------------------------- "are all ?" | |
template <template <class> class P, class... Ts> | |
constexpr bool universal_quantifier = all_v<P<Ts>::value...>; |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment