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

A class containing some type traits.
More...

Go to the source code of this file.

Classes

struct  atermpp::is_container< T, void >
 
struct  atermpp::is_container< T, V >
 
struct  atermpp::enable_if_container< T, V >
 
struct  atermpp::disable_if_container< T, V >
 
struct  atermpp::is_set< T >
 
struct  atermpp::unary_template_swap< C, E >
 

Namespaces

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

Detailed Description

A class containing some type traits.

Definition in file type_traits.h.