spot::stat_printer Class Reference

prints various statistics about a TGBA More...

#include <spot/twaalgos/stats.hh>

Inheritance diagram for spot::stat_printer:

Collaboration diagram for spot::stat_printer:

Public Member Functions
	stat_printer (std::ostream &os, const char *format)
std::ostream &	print (const const_twa_graph_ptr &aut, formula f=nullptr)
	print the configured statistics.

Protected Member Functions
bool	has (char c) const
	Whether c occurred in the primed formats.
void	declare (char c, const printable *f)
	Declare a callback function for c.
void	set_output (std::ostream &output)
	Remember where to output any string.
std::ostream &	format (const char *fmt)
	Expand the %-sequences in fmt, write the result on output_.
std::ostream &	format (std::ostream &output, const char *fmt)
	Expand the %-sequences in fmt, write the result on output.
std::ostream &	format (const std::string &fmt)
	Expand the %-sequences in fmt, write the result on output_.
std::ostream &	format (std::ostream &output, const std::string &fmt)
	Expand the %-sequences in fmt, write the result on output.
void	scan (const char *fmt, std::vector< bool > &has) const
	Scan the %-sequences occurring in fmt.
void	scan (const std::string &fmt, std::vector< bool > &has) const
	Scan the %-sequences occurring in fmt.
void	prime (const char *fmt)
void	prime (const std::string &fmt)

Protected Attributes
std::ostream *	output_

Detailed Description

prints various statistics about a TGBA

This object can be configured to display various statistics about a TGBA. Some %-sequence of characters are interpreted in the format string, and replaced by the corresponding statistics.

Member Function Documentation

declare()

void spot::formater::declare ( char c, const printable * f )

inlineinherited

Declare a callback function for c.

format() [1/4]

std::ostream & spot::formater::format ( const char * fmt )

inherited

Expand the %-sequences in fmt, write the result on output_.

Referenced by format(), format(), and format().

format() [2/4]

std::ostream & spot::formater::format ( const std::string & fmt )

inlineinherited

Expand the %-sequences in fmt, write the result on output_.

References format().

format() [3/4]

std::ostream & spot::formater::format ( std::ostream & output, const char * fmt )

inlineinherited

Expand the %-sequences in fmt, write the result on output.

References format(), and set_output().

format() [4/4]

std::ostream & spot::formater::format ( std::ostream & output, const std::string & fmt )

inlineinherited

Expand the %-sequences in fmt, write the result on output.

References format().

has()

bool spot::formater::has ( char c ) const

inlineinherited

Whether c occurred in the primed formats.

Referenced by scan(), and scan().

prime() [1/2]

void spot::formater::prime ( const char * fmt )

inherited

Collect the %-sequences occurring in fmt.

Referenced by prime().

prime() [2/2]

void spot::formater::prime ( const std::string & fmt )

inlineinherited

Collect the %-sequences occurring in fmt.

References prime().

print()

std::ostream & spot::stat_printer::print	(	const const_twa_graph_ptr &	aut,
		formula	f = nullptr )

print the configured statistics.

The f argument is not needed if the Formula does not need to be output, and so is run_time).

scan() [1/2]

void spot::formater::scan ( const char * fmt, std::vector< bool > & has ) const

inherited

Scan the %-sequences occurring in fmt.

Set has['c'] for each c in fmt. has must be 256 wide.

References has().

Referenced by scan().

scan() [2/2]

void spot::formater::scan ( const std::string & fmt, std::vector< bool > & has ) const

inlineinherited

Scan the %-sequences occurring in fmt.

Set has['c'] for each c in fmt. has must be 256 wide.

References has(), and scan().

set_output()

void spot::formater::set_output ( std::ostream & output )

inlineinherited

Remember where to output any string.

Referenced by format().

---

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

• spot/twaalgos/stats.hh