prints various statistics about a TGBA
More...
#include <spot/twaalgos/stats.hh>
|
|
| 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...
|
| |
|
| 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) |
| |
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.
◆ 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 |
( |
const std::string & |
fmt | ) |
|
|
inlineinherited |
Expand the %-sequences in fmt, write the result on output_.
◆ 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.
◆ 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:
