spot
2.3.4
|
comparable statistics More...
#include <spot/twaalgos/emptiness_stats.hh>
Public Types | |
typedef std::map< const char *, unsigned, char_ptr_less_than > | stats_map |
Public Member Functions | |
unsigned_statistics_copy (const unsigned_statistics &o) | |
bool | seteq (const unsigned_statistics &o) |
bool | operator== (const unsigned_statistics_copy &o) const |
bool | operator!= (const unsigned_statistics_copy &o) const |
Public Attributes | |
stats_map | stats |
bool | set |
comparable statistics
This must be built from a spot::unsigned_statistics. But unlike spot::unsigned_statistics, it supports equality and inequality tests. (It's the only operations it supports, BTW.)