#include <tgbaalgos/emptiness_stats.hh>
Inheritance diagram for spot::ec_statistics:
Public Types | |
typedef unsigned(unsigned_statistics::*) | unsigned_fun () const |
typedef std::map< const char *, unsigned_fun, char_ptr_less_than > | stats_map |
Public Member Functions | |
ec_statistics () | |
void | set_states (unsigned n) |
void | inc_states () |
void | inc_transitions () |
void | inc_depth (unsigned n=1) |
void | dec_depth (unsigned n=1) |
unsigned | states () const |
unsigned | transitions () const |
unsigned | max_depth () const |
unsigned | depth () const |
unsigned | get (const char *str) const |
Public Attributes | |
stats_map | stats |
Private Attributes | |
unsigned | states_ |
unsigned | transitions_ |
number of disctint visited states | |
unsigned | depth_ |
number of visited transitions | |
unsigned | max_depth_ |
maximal depth of the stack(s) |
Implementations of spot::emptiness_check may also implement this interface. Try to dynamic_cast the spot::emptiness_check pointer to know whether these statistics are available.
typedef unsigned(unsigned_statistics::*) spot::unsigned_statistics::unsigned_fun() const [inherited] |
typedef std::map<const char*, unsigned_fun, char_ptr_less_than> spot::unsigned_statistics::stats_map [inherited] |
spot::ec_statistics::ec_statistics | ( | ) | [inline] |
void spot::ec_statistics::set_states | ( | unsigned | n | ) | [inline] |
void spot::ec_statistics::inc_states | ( | ) | [inline] |
void spot::ec_statistics::inc_transitions | ( | ) | [inline] |
void spot::ec_statistics::inc_depth | ( | unsigned | n = 1 |
) | [inline] |
void spot::ec_statistics::dec_depth | ( | unsigned | n = 1 |
) | [inline] |
unsigned spot::ec_statistics::states | ( | ) | const [inline] |
unsigned spot::ec_statistics::transitions | ( | ) | const [inline] |
unsigned spot::ec_statistics::max_depth | ( | ) | const [inline] |
unsigned spot::ec_statistics::depth | ( | ) | const [inline] |
unsigned spot::unsigned_statistics::get | ( | const char * | str | ) | const [inline, inherited] |
unsigned spot::ec_statistics::states_ [private] |
unsigned spot::ec_statistics::transitions_ [private] |
number of disctint visited states
unsigned spot::ec_statistics::depth_ [private] |
number of visited transitions
unsigned spot::ec_statistics::max_depth_ [private] |
maximal depth of the stack(s)
stats_map spot::unsigned_statistics::stats [inherited] |