spot  1.0.2
Public Member Functions | Protected Member Functions | Protected Attributes | Private Attributes | List of all members
spot::stat_printer Class Reference

prints various statistics about a TGBA More...

#include <tgbaalgos/stats.hh>

Inheritance diagram for spot::stat_printer:
Inheritance graph
Collaboration diagram for spot::stat_printer:
Collaboration graph

Public Member Functions

 stat_printer (std::ostream &os, const char *format)
std::ostream & print (const tgba *aut, const ltl::formula *f=0)
 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 occuring in fmt.
void scan (const std::string &fmt, std::vector< bool > &has) const
void prime (const char *fmt)
void prime (const std::string &fmt)

Protected Attributes

std::ostream * output_

Private Attributes

const char * format_
printable_formula form_
printable_value< unsigned > states_
printable_value< unsigned > edges_
printable_value< unsigned > trans_
printable_value< unsigned > acc_
printable_value< unsigned > scc_
printable_value< unsigned > nondetstates_
printable_value< unsigned > deterministic_

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.

Constructor & Destructor Documentation

spot::stat_printer::stat_printer ( std::ostream &  os,
const char *  format 
)

Member Function Documentation

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

Declare a callback function for c.

References spot::formater::call_.

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

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

Referenced by spot::formater::format().

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

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

References spot::formater::format(), and spot::formater::set_output().

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

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

References spot::formater::format().

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

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

References spot::formater::format().

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

Whether c occurred in the primed formats.

References spot::formater::has_.

Referenced by spot::formater::scan().

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

Collect the %-sequences occurring in fmt.

Referenced by spot::formater::prime().

void spot::formater::prime ( const std::string &  fmt)
inlineinherited
std::ostream& spot::stat_printer::print ( const tgba aut,
const ltl::formula f = 0 
)

print the configured statistics.

The f argument is not needed if the Formula does not need to be output.

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.

Referenced by spot::formater::scan().

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

Remember where to output any string.

References spot::formater::output_.

Referenced by spot::formater::format().

Member Data Documentation

printable_value<unsigned> spot::stat_printer::acc_
private
printable_value<unsigned> spot::stat_printer::deterministic_
private
printable_value<unsigned> spot::stat_printer::edges_
private
printable_formula spot::stat_printer::form_
private
const char* spot::stat_printer::format_
private
printable_value<unsigned> spot::stat_printer::nondetstates_
private
std::ostream* spot::formater::output_
protectedinherited
printable_value<unsigned> spot::stat_printer::scc_
private
printable_value<unsigned> spot::stat_printer::states_
private
printable_value<unsigned> spot::stat_printer::trans_
private

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

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Mar 6 2013 09:25:16 for spot by doxygen 1.8.1.2