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

#include <type_traits.h>

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

Detailed Description

template<typename T, typename V = void>
struct atermpp::enable_if_container< T, V >

type condition for use with std::enable_if T the type to be tested

Precondition

V is void or T::value_type convertible to V

Definition at line 41 of file type_traits.h.

---

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

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