spot
0.8.3
|
Emptiness-check statistics. More...
#include <tgbaalgos/emptiness_stats.hh>
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) |
Emptiness-check statistics.
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 std::map<const char*, unsigned_fun, char_ptr_less_than> spot::unsigned_statistics::stats_map [inherited] |
typedef unsigned(unsigned_statistics::* spot::unsigned_statistics::unsigned_fun)() const [inherited] |
spot::ec_statistics::ec_statistics | ( | ) | [inline] |
References max_depth(), states(), spot::unsigned_statistics::stats, and transitions().
void spot::ec_statistics::dec_depth | ( | unsigned | n = 1 | ) | [inline] |
References depth_.
unsigned spot::ec_statistics::depth | ( | ) | const [inline] |
References depth_.
unsigned spot::unsigned_statistics::get | ( | const char * | str | ) | const [inline, inherited] |
References spot::unsigned_statistics::stats.
void spot::ec_statistics::inc_depth | ( | unsigned | n = 1 | ) | [inline] |
References depth_, and max_depth_.
void spot::ec_statistics::inc_states | ( | ) | [inline] |
References states_.
void spot::ec_statistics::inc_transitions | ( | ) | [inline] |
References transitions_.
unsigned spot::ec_statistics::max_depth | ( | ) | const [inline] |
References max_depth_.
Referenced by ec_statistics().
void spot::ec_statistics::set_states | ( | unsigned | n | ) | [inline] |
References states_.
unsigned spot::ec_statistics::states | ( | ) | const [inline] |
References states_.
Referenced by ec_statistics().
unsigned spot::ec_statistics::transitions | ( | ) | const [inline] |
References transitions_.
Referenced by ec_statistics().
unsigned spot::ec_statistics::depth_ [private] |
number of visited transitions
Referenced by dec_depth(), depth(), and inc_depth().
unsigned spot::ec_statistics::max_depth_ [private] |
maximal depth of the stack(s)
Referenced by inc_depth(), and max_depth().
unsigned spot::ec_statistics::states_ [private] |
Referenced by inc_states(), set_states(), and states().
stats_map spot::unsigned_statistics::stats [inherited] |
unsigned spot::ec_statistics::transitions_ [private] |
number of disctint visited states
Referenced by inc_transitions(), and transitions().