atermpp::detail::iterator_value< std::insert_iterator< Container > > Struct Template Reference

#include <algorithm_impl.h>

Public Types
typedef Container::value_type	type

Detailed Description

template<class Container>
struct atermpp::detail::iterator_value< std::insert_iterator< Container > >

Definition at line 42 of file algorithm_impl.h.

Member Typedef Documentation

type

template<class Container >

typedef Container::value_type atermpp::detail::iterator_value< std::insert_iterator< Container > >::type

Definition at line 44 of file algorithm_impl.h.

---

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

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