Accepting Run Search statistics.
More...
#include <tgbaalgos/emptiness_stats.hh>
Detailed Description
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.
Member Typedef Documentation
typedef unsigned(unsigned_statistics::* spot::unsigned_statistics::unsigned_fun)() const |
|
inherited |
Constructor & Destructor Documentation
spot::ars_statistics::ars_statistics |
( |
| ) |
|
|
inline |
Member Function Documentation
unsigned spot::ars_statistics::ars_cycle_states |
( |
| ) |
const |
|
inline |
unsigned spot::ars_statistics::ars_prefix_states |
( |
| ) |
const |
|
inline |
unsigned spot::unsigned_statistics::get |
( |
const char * |
str | ) |
const |
|
inlineinherited |
void spot::ars_statistics::inc_ars_cycle_states |
( |
| ) |
|
|
inline |
void spot::ars_statistics::inc_ars_prefix_states |
( |
| ) |
|
|
inline |
Member Data Documentation
unsigned spot::ars_statistics::cycle_states_ |
|
private |
unsigned spot::ars_statistics::prefix_states_ |
|
private |
The documentation for this class was generated from the following file: