spot
1.99.4
|
prints various statistics about a TGBA More...
#include <bin/common_aoutput.hh>
Public Member Functions | |
hoa_stat_printer (std::ostream &os, const char *format, stat_style input=no_input) | |
std::ostream & | print (const spot::const_parsed_aut_ptr &haut, const spot::const_twa_graph_ptr &aut, spot::formula f, const char *filename, int loc, double run_time) |
print the configured statistics. More... | |
Protected Member Functions | |
std::ostream & | print (const const_twa_graph_ptr &aut, formula f=nullptr, double run_time=-1.) |
print the configured statistics. More... | |
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 |
void | prime (const char *fmt) |
void | prime (const std::string &fmt) |
Protected Attributes | |
std::ostream * | output_ |
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.
|
inlineinherited |
Declare a callback function for c.
|
inherited |
Expand the %-sequences in fmt, write the result on output_.
|
inlineinherited |
Expand the %-sequences in fmt, write the result on output.
|
inlineinherited |
Expand the %-sequences in fmt, write the result on output_.
|
inlineinherited |
Expand the %-sequences in fmt, write the result on output.
|
inlineinherited |
Whether c occurred in the primed formats.
Referenced by print().
|
inherited |
Collect the %-sequences occurring in fmt.
|
inherited |
print the configured statistics.
The f argument is not needed if the Formula does not need to be output, and so is run_time).
Referenced by print().
|
inline |
print the configured statistics.
The f argument is not needed if the Formula does not need to be output.
References spot::couvreur99(), spot::formater::has(), spot::stat_printer::print(), spot::reduce_run(), and spot::sub_stats_reachable().
|
inherited |
Scan the %-sequences occuring in fmt.
Set has['c'] for each c in fmt. has must be 256 wide.
|
inlineinherited |
Remember where to output any string.