atermpp::detail::iterator_value< Iterator > Struct Template Reference

#include <algorithm_impl.h>

Public Types
typedef std::iterator_traits< Iterator >::value_type	type

Detailed Description

template<class Iterator>
struct atermpp::detail::iterator_value< Iterator >

Definition at line 36 of file algorithm_impl.h.

Member Typedef Documentation

type

template<class Iterator >

typedef std::iterator_traits<Iterator>::value_type atermpp::detail::iterator_value< Iterator >::type

Definition at line 38 of file algorithm_impl.h.

---

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

• atermpp/include/mcrl2/atermpp/detail/algorithm_impl.h