spot::edge_separator_filter< subsumed > Struct Template Reference

Collaboration diagram for spot::edge_separator_filter< subsumed >:

Classes
class	iterator

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

---

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

• spot/twaalgos/split.hh