spot::internal::univ_dest_mapper< G > Member List

This is the complete list of members for spot::internal::univ_dest_mapper< G >, including all inherited members.

new_univ_dests(I begin, I end) (defined in spot::internal::univ_dest_mapper< G >)	spot::internal::univ_dest_mapper< G >	inline
new_univ_dests(std::vector< unsigned > &&tmp) (defined in spot::internal::univ_dest_mapper< G >)	spot::internal::univ_dest_mapper< G >	inline
univ_dest_mapper(G &graph) (defined in spot::internal::univ_dest_mapper< G >)	spot::internal::univ_dest_mapper< G >	inline