spot::internal::univ_dest_mapper< G > Class Template Reference

Collaboration diagram for spot::internal::univ_dest_mapper< G >:

Public Member Functions
	univ_dest_mapper (G &graph)
template<class I >
unsigned	new_univ_dests (I begin, I end)
unsigned	new_univ_dests (std::vector< unsigned > &&tmp)

---

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

• spot/graph/graph.hh