mcrl2::data::detail::prepend_iterator_tag_convertor

Include file:

#include "mcrl2/data/application.h
class mcrl2::data::detail::prepend_iterator_tag_convertor

Public types

type iterator_category

typedef for std::forward_iterator_tag