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