Home | History | Annotate | Download | only in negators
      1 //===----------------------------------------------------------------------===//
      2 //
      3 //                     The LLVM Compiler Infrastructure
      4 //
      5 // This file is dual licensed under the MIT and the University of Illinois Open
      6 // Source Licenses. See LICENSE.TXT for details.
      7 //
      8 //===----------------------------------------------------------------------===//
      9 
     10 // <functional>
     11 
     12 // binary_negate
     13 
     14 #include <functional>
     15 #include <type_traits>
     16 #include <cassert>
     17 
     18 int main()
     19 {
     20     typedef std::binary_negate<std::logical_and<int> > F;
     21     const F f = F(std::logical_and<int>());
     22     static_assert((std::is_same<int, F::first_argument_type>::value), "" );
     23     static_assert((std::is_same<int, F::second_argument_type>::value), "" );
     24     static_assert((std::is_same<bool, F::result_type>::value), "" );
     25     assert(!f(36, 36));
     26     assert( f(36, 0));
     27     assert( f(0, 36));
     28     assert( f(0, 0));
     29 }
     30