Sacado Package Browser (Single Doxygen Collection)  Version of the Day
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
Sacado_mpl_has_equal_to.hpp
Go to the documentation of this file.
1 // @HEADER
2 // ***********************************************************************
3 //
4 // Sacado Package
5 // Copyright (2006) Sandia Corporation
6 //
7 // Under the terms of Contract DE-AC04-94AL85000 with Sandia Corporation,
8 // the U.S. Government retains certain rights in this software.
9 //
10 // This library is free software; you can redistribute it and/or modify
11 // it under the terms of the GNU Lesser General Public License as
12 // published by the Free Software Foundation; either version 2.1 of the
13 // License, or (at your option) any later version.
14 //
15 // This library is distributed in the hope that it will be useful, but
16 // WITHOUT ANY WARRANTY; without even the implied warranty of
17 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
18 // Lesser General Public License for more details.
19 //
20 // You should have received a copy of the GNU Lesser General Public
21 // License along with this library; if not, write to the Free Software
22 // Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301
23 // USA
24 // Questions? Contact David M. Gay (dmgay@sandia.gov) or Eric T. Phipps
25 // (etphipp@sandia.gov).
26 //
27 // ***********************************************************************
28 // @HEADER
29 
30 #ifndef SACADO_MPL_HAS_EQUAL_TO_HPP
31 #define SACADO_MPL_HAS_EQUAL_TO_HPP
32 
33 #include <type_traits>
34 
35 #include "Sacado_mpl_void.hpp"
36 
37 namespace Sacado {
38 
39  namespace mpl {
40 
41  template <typename T1, typename T2 = T1, typename = void_t<> >
42  struct has_equal_to : std::false_type {};
43 
44  template <typename T1, typename T2>
45  struct has_equal_to<T1, T2, void_t<decltype(std::declval<T1>() ==
46  std::declval<T2>())> >
47  : std::true_type {};
48 
49  }
50 
51 }
52 
53 #endif // SACADO_MPL_HAS_EQUAL_TO_HPP
typename make_void< Ts...>::type void_t
#define T2(r, f)
Definition: Sacado_rad.hpp:578
#define T1(r, f)
Definition: Sacado_rad.hpp:603