spot
1.1.4
|
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 More... | |
unsigned | depth_ |
number of visited transitions More... | |
unsigned | max_depth_ |
maximal depth of the stack(s) More... | |
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.
|
inherited |
|
inherited |
|
inline |
References max_depth(), states(), spot::unsigned_statistics::stats, and transitions().
|
inline |
References depth_.
|
inline |
References depth_.
|
inlineinherited |
References spot::unsigned_statistics::stats.
|
inline |
References depth_, and max_depth_.
|
inline |
References states_.
|
inline |
References transitions_.
|
inline |
References max_depth_.
Referenced by ec_statistics().
|
inline |
References states_.
|
inline |
References states_.
Referenced by ec_statistics().
|
inline |
References transitions_.
Referenced by ec_statistics().
|
private |
number of visited transitions
Referenced by dec_depth(), depth(), and inc_depth().
|
private |
maximal depth of the stack(s)
Referenced by inc_depth(), and max_depth().
|
private |
Referenced by inc_states(), set_states(), and states().
|
inherited |
|
private |
number of disctint visited states
Referenced by inc_transitions(), and transitions().