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 // unary_negate
     13 
     14 #include <functional>
     15 #include <type_traits>
     16 #include <cassert>
     17 
     18 int main()
     19 {
     20     typedef std::unary_negate<std::logical_not<int> > F;
     21     const F f = F(std::logical_not<int>());
     22     static_assert((std::is_same<F::argument_type, int>::value), "" );
     23     static_assert((std::is_same<F::result_type, bool>::value), "" );
     24     assert(f(36));
     25     assert(!f(0));
     26 }
     27