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 mcrl2::lps::pins_data_type::index_iterator::boost::iterator_core_access

Private attributes¶

std::size_t mcrl2::lps::pins_data_type::index_iterator::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()