type_traits.h

Go to the documentation of this file.

// Author(s): unknown
// Copyright: see the accompanying file COPYING or copy at
// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
 
#ifndef ATERMPP_TYPE_TRAITS_H
#define ATERMPP_TYPE_TRAITS_H
 
#include "mcrl2/atermpp/detail/type_traits_impl.h"
 
namespace atermpp
{
 
template < typename T, typename V = void >
struct is_container;
 
template < typename T >
struct is_container< T, void > : public
    detail::is_container_impl< typename std::remove_reference< typename std::remove_const< T >::type >::type >
  { };
 
template < typename T, typename V >
struct is_container : public detail::lazy_check_value_type< is_container< T, void >::value, T, V >
  { };
 
template < typename T, typename V = void >
struct enable_if_container : public
    std::enable_if< is_container< T, V >::value >
  { };
 
template < typename T, typename V = void >
struct disable_if_container : public
    std::enable_if< !is_container< T, V >::value >
  { };
 
// type condition for use with std::enable_if
template < typename T >
struct is_set : public
    detail::is_set_impl< typename std::remove_reference< typename std::remove_const< T >::type >::type >
  { };
 
template < template < typename O > class C, typename E >
struct unary_template_swap
{
  typedef C< E > type;
};
 
} // namespace atermpp
 
#endif // ATERMPP_TYPE_TRAITS_H