Lines Matching refs:conjunction
13 // template<class... B> struct conjunction; // C++17
15 // constexpr bool conjunction_v = conjunction<B...>::value; // C++17
25 static_assert ( std::conjunction<>::value, "" );
26 static_assert ( std::conjunction<std::true_type >::value, "" );
27 static_assert (!std::conjunction<std::false_type>::value, "" );
33 static_assert ( std::conjunction<std::true_type, std::true_type >::value, "" );
34 static_assert (!std::conjunction<std::true_type, std::false_type>::value, "" );
35 static_assert (!std::conjunction<std::false_type, std::true_type >::value, "" );
36 static_assert (!std::conjunction<std::false_type, std::false_type>::value, "" );
43 static_assert ( std::conjunction<std::true_type, std::true_type, std::true_type >::value, "" );
44 static_assert (!std::conjunction<std::true_type, std::false_type, std::true_type >::value, "" );
45 static_assert (!std::conjunction<std::false_type, std::true_type, std::true_type >::value, "" );
46 static_assert (!std::conjunction<std::false_type, std::false_type, std::true_type >::value, "" );
47 static_assert (!std::conjunction<std::true_type, std::true_type, std::false_type>::value, "" );
48 static_assert (!std::conjunction<std::true_type, std::false_type, std::false_type>::value, "" );
49 static_assert (!std::conjunction<std::false_type, std::true_type, std::false_type>::value, "" );
50 static_assert (!std::conjunction<std::false_type, std::false_type, std::false_type>::value, "" );
61 static_assert ( std::conjunction<True >::value, "" );
62 static_assert (!std::conjunction<False>::value, "" );