atermpp::is_container< T, V > Struct Template Reference

#include <type_traits.h>

Inheritance diagram for atermpp::is_container< T, V >:

Detailed Description

template<typename T, typename V>
struct atermpp::is_container< T, V >

Type condition for detecting containers. T the type to be tested

Precondition

V is void or T::value_type convertible to V

Definition at line 33 of file type_traits.h.

---

The documentation for this struct was generated from the following file:

• atermpp/include/mcrl2/atermpp/type_traits.h