spot
1.0
|
prints various statistics about a TGBA More...
#include <tgbaalgos/stats.hh>
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 | |
void | prime (const char *fmt) |
Collect the %-sequences occurring in fmt. | |
void | prime (const std::string &fmt) |
Collect the %-sequences occurring in fmt. | |
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. |
Protected Attributes | |
std::ostream * | output_ |
const char * | pos_ |
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_ |
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.
spot::stat_printer::stat_printer | ( | std::ostream & | os, |
const char * | format | ||
) |
|
inlineinherited |
Declare a callback function for c.
References spot::formater::call_.
|
inherited |
Expand the %-sequences in fmt, write the result on output_.
Referenced by spot::formater::format().
|
inlineinherited |
Expand the %-sequences in fmt, write the result on output.
References spot::formater::format(), and spot::formater::set_output().
|
inlineinherited |
Expand the %-sequences in fmt, write the result on output_.
References spot::formater::format().
|
inlineinherited |
Expand the %-sequences in fmt, write the result on output.
References spot::formater::format().
|
inlineinherited |
Whether c occurred in the primed formats.
References spot::formater::has_.
|
inherited |
Collect the %-sequences occurring in fmt.
Referenced by spot::formater::prime().
|
inlineinherited |
Collect the %-sequences occurring in fmt.
References spot::formater::prime().
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.
|
inlineinherited |
Remember where to output any string.
References spot::formater::output_.
Referenced by spot::formater::format().
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
protectedinherited |
Referenced by spot::formater::set_output().
|
protectedinherited |
|
private |
|
private |
|
private |