spot::internal::mark_iterator Class Reference

Collaboration diagram for spot::internal::mark_iterator:

Public Types
typedef unsigned	value_type
typedef const value_type &	reference
typedef const value_type *	pointer
typedef std::ptrdiff_t	difference_type
typedef std::forward_iterator_tag	iterator_category

Public Member Functions
	mark_iterator (acc_cond::mark_t m) noexcept
bool	operator== (mark_iterator m) const
bool	operator!= (mark_iterator m) const
value_type	operator* () const
mark_iterator &	operator++ ()
mark_iterator	operator++ (int)

---

The documentation for this class was generated from the following file:

• spot/twa/acc.hh