spot
0.8.3
|
#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 | |
virtual | ~unsigned_statistics () |
unsigned | get (const char *str) const |
Public Attributes | |
stats_map | stats |
typedef std::map<const char*, unsigned_fun, char_ptr_less_than> spot::unsigned_statistics::stats_map |
typedef unsigned(unsigned_statistics::* spot::unsigned_statistics::unsigned_fun)() const |
virtual spot::unsigned_statistics::~unsigned_statistics | ( | ) | [inline, virtual] |
unsigned spot::unsigned_statistics::get | ( | const char * | str | ) | const [inline] |
References stats.