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

Include file:

#include "mcrl2/data/application.h

template<>
class mcrl2::data::detail::prepend_iterator_tag_convertor<std::input_iterator_tag>

Public types

template<>
type mcrl2::data::detail::prepend_iterator_tag_convertor<std::input_iterator_tag>::iterator_category

typedef for std::input_iterator_tag