|
spot
2.1
|
Emptiness-check statistics. More...
#include <spot/twaalgos/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 Attributes | |
| stats_map | stats |
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.
1.8.8