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

#include <application.h>

Public Types
using	iterator_category = std::input_iterator_tag

Detailed Description

Definition at line 38 of file application.h.

Member Typedef Documentation

iterator_category

using mcrl2::data::detail::prepend_iterator_tag_convertor< std::input_iterator_tag >::iterator_category = std::input_iterator_tag

Definition at line 41 of file application.h.

---

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

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