mCRL2
Loading...
Searching...
No Matches
atermpp::detail::is_pair< T > Struct Template Reference
#include <
aterm_container.h
>
Inheritance diagram for atermpp::detail::is_pair< T >:
Detailed Description
template<class T>
struct atermpp::detail::is_pair< T >
Definition at line
77
of file
aterm_container.h
.
The documentation for this struct was generated from the following file:
atermpp/include/mcrl2/atermpp/detail/
aterm_container.h
atermpp
detail
is_pair
Generated by
1.9.7