mcrl2::data::detail::prepend_iterator_tag_convertor< std::input_iterator_tag > Class Reference

#include <application.h>

Public Types
typedef std::input_iterator_tag	iterator_category

Detailed Description

Definition at line 40 of file application.h.

Member Typedef Documentation

iterator_category

typedef std::input_iterator_tag mcrl2::data::detail::prepend_iterator_tag_convertor< std::input_iterator_tag >::iterator_category

Definition at line 43 of file application.h.

---

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

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