spot
1.0
|
#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 |
|
inlinevirtual |
|
inline |
References stats.
stats_map spot::unsigned_statistics::stats |