spot::printable_scc_info Class Reference

Inheritance diagram for spot::printable_scc_info:

Collaboration diagram for spot::printable_scc_info:

Public Member Functions
void	automaton (const const_twa_graph_ptr &aut)
void	reset ()
void	print (std::ostream &os, const char *pos) const override

Member Function Documentation

print()

void spot::printable_scc_info::print ( std::ostream & os, const char * pos ) const

overridevirtual

Implements spot::printable.

---

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

• spot/twaalgos/stats.hh