Emptiness-check statistics.
More...
#include <tgbaalgos/emptiness_stats.hh>
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)
|
Detailed Description
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.
Member Typedef Documentation
typedef unsigned(unsigned_statistics::* spot::unsigned_statistics::unsigned_fun)() const |
|
inherited |
Constructor & Destructor Documentation
spot::ec_statistics::ec_statistics |
( |
| ) |
|
|
inline |
Member Function Documentation
void spot::ec_statistics::dec_depth |
( |
unsigned |
n = 1 | ) |
|
|
inline |
unsigned spot::ec_statistics::depth |
( |
| ) |
const |
|
inline |
unsigned spot::unsigned_statistics::get |
( |
const char * |
str | ) |
const |
|
inlineinherited |
void spot::ec_statistics::inc_depth |
( |
unsigned |
n = 1 | ) |
|
|
inline |
void spot::ec_statistics::inc_states |
( |
| ) |
|
|
inline |
void spot::ec_statistics::inc_transitions |
( |
| ) |
|
|
inline |
unsigned spot::ec_statistics::max_depth |
( |
| ) |
const |
|
inline |
void spot::ec_statistics::set_states |
( |
unsigned |
n | ) |
|
|
inline |
unsigned spot::ec_statistics::states |
( |
| ) |
const |
|
inline |
unsigned spot::ec_statistics::transitions |
( |
| ) |
const |
|
inline |
Member Data Documentation
unsigned spot::ec_statistics::depth_ |
|
private |
unsigned spot::ec_statistics::max_depth_ |
|
private |
unsigned spot::ec_statistics::states_ |
|
private |
unsigned spot::ec_statistics::transitions_ |
|
private |
The documentation for this class was generated from the following file: