mcrl2::lps::pins_data_type::index_iterator

Include file:

#include "mcrl2/lps/ltsmin.h
class mcrl2::lps::pins_data_type::index_iterator

Forward iterator used for iterating over indices.

Friends

friend class boost::iterator_core_access

Private attributes

std::size_t m_index

Public member functions

index_iterator(std::size_t index = 0)

Private member functions

const std::size_t &dereference() const
std::ptrdiff_t distance_to(const index_iterator &other) const
bool equal(const index_iterator &other) const
void increment()