spot  2.8.3
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members

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. More...
 

Protected Member Functions

bool has (char c) const
 Whether c occurred in the primed formats. More...
 
void declare (char c, const printable *f)
 Declare a callback function for c. More...
 
void set_output (std::ostream &output)
 Remember where to output any string. More...
 
std::ostream & format (const char *fmt)
 Expand the %-sequences in fmt, write the result on output_. More...
 
std::ostream & format (std::ostream &output, const char *fmt)
 Expand the %-sequences in fmt, write the result on output. More...
 
std::ostream & format (const std::string &fmt)
 Expand the %-sequences in fmt, write the result on output_. More...
 
std::ostream & format (std::ostream &output, const std::string &fmt)
 Expand the %-sequences in fmt, write the result on output. More...
 
void scan (const char *fmt, std::vector< bool > &has) const
 Scan the %-sequences occuring in fmt. More...
 
void scan (const std::string &fmt, std::vector< bool > &has) const
 Scan the %-sequences occuring in fmt. More...
 
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_.

◆ format() [2/4]

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

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

◆ format() [3/4]

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

Expand the %-sequences in fmt, write the result on 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.

◆ has()

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

Whether c occurred in the primed formats.

◆ prime() [1/2]

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

Collect the %-sequences occurring in fmt.

◆ prime() [2/2]

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

Collect the %-sequences occurring in fmt.

◆ 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 occuring in fmt.

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

◆ scan() [2/2]

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

Scan the %-sequences occuring in fmt.

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

◆ set_output()

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

Remember where to output any string.


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.8.13