spot
1.1.4
|
Accepting Run Search 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 | |
ars_statistics () | |
void | inc_ars_prefix_states () |
unsigned | ars_prefix_states () const |
void | inc_ars_cycle_states () |
unsigned | ars_cycle_states () const |
unsigned | get (const char *str) const |
Public Attributes | |
stats_map | stats |
Private Attributes | |
unsigned | prefix_states_ |
unsigned | cycle_states_ |
states visited to construct the prefix More... | |
Accepting Run Search statistics.
Implementations of spot::emptiness_check_result may also implement this interface. Try to dynamic_cast the spot::emptiness_check_result pointer to know whether these statistics are available.
|
inherited |
|
inherited |
|
inline |
References ars_cycle_states(), ars_prefix_states(), and spot::unsigned_statistics::stats.
|
inline |
References cycle_states_.
Referenced by ars_statistics().
|
inline |
References prefix_states_.
Referenced by ars_statistics().
|
inlineinherited |
References spot::unsigned_statistics::stats.
|
inline |
References cycle_states_.
|
inline |
References prefix_states_.
|
private |
states visited to construct the prefix
Referenced by ars_cycle_states(), and inc_ars_cycle_states().
|
private |
Referenced by ars_prefix_states(), and inc_ars_prefix_states().
|
inherited |