mCRL2
Loading...
Searching...
No Matches
type_traits_impl.h File Reference

Some type traits for implementations.
More...

Go to the source code of this file.

Classes

struct  atermpp::detail::is_container_impl< T >
 
struct  atermpp::detail::is_container_impl< std::list< T > >
 
struct  atermpp::detail::is_container_impl< std::set< T > >
 
struct  atermpp::detail::is_container_impl< std::multiset< T > >
 
struct  atermpp::detail::is_container_impl< std::vector< T > >
 
struct  atermpp::detail::lazy_check_value_type< C, Container, Value >
 
struct  atermpp::detail::lazy_check_value_type< true, Container, ValueType >
 
struct  atermpp::detail::is_set_impl< T >
 
struct  atermpp::detail::is_set_impl< std::set< T > >
 
struct  atermpp::detail::is_set_impl< std::multiset< T > >
 

Namespaces

namespace  atermpp
 The main namespace for the aterm++ library.
 
namespace  atermpp::detail
 

Detailed Description

Some type traits for implementations.

Definition in file type_traits_impl.h.