spot::edge_separator_filter< subsumed >::iterator Class Reference

Iterator over edge labels compatible with the filter's BDD condition. More...

#include <spot/twaalgos/split.hh>

Collaboration diagram for spot::edge_separator_filter< subsumed >::iterator:

Public Member Functions
	iterator (const std::vector< bdd > &labels, bdd cond)
	Construct an iterator over matching labels.
iterator &	operator++ ()
	Advance to the next matching label.
void	next ()
	Advance to the next matching label (implementation).
bdd	operator* () const
	Dereference to get the current label.
bool	operator== (const iterator &other) const
	Check equality with another iterator.
bool	operator!= (const iterator &other) const
	Check inequality with another iterator.
bool	operator== (std::vector< bdd >::const_iterator pos) const
	Check equality with a vector iterator.
bool	operator!= (std::vector< bdd >::const_iterator pos) const
	Check inequality with a vector iterator.

Detailed Description

template<bool subsumed>
class spot::edge_separator_filter< subsumed >::iterator

Iterator over edge labels compatible with the filter's BDD condition.

Constructor & Destructor Documentation

iterator()

template<bool subsumed>

spot::edge_separator_filter< subsumed >::iterator::iterator ( const std::vector< bdd > &  labels, bdd  cond  )

inline

Construct an iterator over matching labels.

Member Function Documentation

next()

template<bool subsumed>

void spot::edge_separator_filter< subsumed >::iterator::next ( )

inline

Advance to the next matching label (implementation).

operator!=() [1/2]

template<bool subsumed>

bool spot::edge_separator_filter< subsumed >::iterator::operator!= ( const iterator &  other ) const

inline

Check inequality with another iterator.

operator!=() [2/2]

template<bool subsumed>

bool spot::edge_separator_filter< subsumed >::iterator::operator!= ( std::vector< bdd >::const_iterator  pos ) const

inline

Check inequality with a vector iterator.

operator*()

template<bool subsumed>

bdd spot::edge_separator_filter< subsumed >::iterator::operator* ( ) const

inline

Dereference to get the current label.

operator++()

template<bool subsumed>

iterator & spot::edge_separator_filter< subsumed >::iterator::operator++ ( )

inline

Advance to the next matching label.

operator==() [1/2]

template<bool subsumed>

bool spot::edge_separator_filter< subsumed >::iterator::operator== ( const iterator &  other ) const

inline

Check equality with another iterator.

operator==() [2/2]

template<bool subsumed>

bool spot::edge_separator_filter< subsumed >::iterator::operator== ( std::vector< bdd >::const_iterator  pos ) const

inline

Check equality with a vector iterator.

---

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

• spot/twaalgos/split.hh