#include <tgbaalgos/emptiness_stats.hh>
Inheritance diagram for spot::unsigned_statistics:
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 | |
virtual | ~unsigned_statistics () |
unsigned | get (const char *str) const |
Public Attributes | |
stats_map | stats |
|
|
|
|
|
|
|
|
|
|