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 mcrl2::data::detail::prepend_iterator_tag_convertor::iterator_category

typedef for std::forward_iterator_tag