mCRL2
|
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. | |
A class containing some type traits.
Definition in file type_traits.h.