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

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:

• spot/twaalgos/split.hh