spot::printable_scc_info Class Reference

A printable wrapper for SCC information of an automaton, for use in format strings. More...

#include <spot/twaalgos/stats.hh>

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)
	Compute SCC information for the given automaton. More...
void	reset ()
	Clear the stored SCC information. More...
void	print (std::ostream &os, const char *pos) const override
	Print SCC statistics to an output stream. More...

Detailed Description

A printable wrapper for SCC information of an automaton, for use in format strings.

Member Function Documentation

automaton()

void spot::printable_scc_info::automaton ( const const_twa_graph_ptr &  aut )

inline

Compute SCC information for the given automaton.

print()

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

overridevirtual

Print SCC statistics to an output stream.

Implements spot::printable.

reset()

void spot::printable_scc_info::reset ( )

inline

Clear the stored SCC information.

---

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

• spot/twaalgos/stats.hh