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

#include <application.h>

Public Types
using	iterator_category = std::forward_iterator_tag

Detailed Description

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

Definition at line 31 of file application.h.

Member Typedef Documentation

iterator_category

template<class IteratorTag >

using mcrl2::data::detail::prepend_iterator_tag_convertor< IteratorTag >::iterator_category = std::forward_iterator_tag

Definition at line 34 of file application.h.

---

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

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