mcrl2::data::detail::prepend_iterator_tag_convertor< IteratorTag > Class Template Reference

#include <application.h>

Public Types
typedef std::forward_iterator_tag	iterator_category

Detailed Description

template<class IteratorTag>
class mcrl2::data::detail::prepend_iterator_tag_convertor< IteratorTag >

Definition at line 33 of file application.h.

Member Typedef Documentation

iterator_category

template<class IteratorTag >

typedef std::forward_iterator_tag mcrl2::data::detail::prepend_iterator_tag_convertor< IteratorTag >::iterator_category

Definition at line 36 of file application.h.

---

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

• data/include/mcrl2/data/application.h