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

Public Member Functions
	iterator (const std::vector< bdd > &labels, bdd cond)

iterator &	operator++ ()

void	next ()

bdd	operator* () const

bool	operator== (const iterator &other) const

bool	operator!= (const iterator &other) const

bool	operator== (std::vector< bdd >::const_iterator pos) const

bool	operator!= (std::vector< bdd >::const_iterator pos) const

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

Public Member Functions