spot
0.8.3
|
comparable statistics More...
#include <tgbaalgos/emptiness_stats.hh>
Public Types | |
typedef std::map< const char *, unsigned, char_ptr_less_than > | stats_map |
Public Member Functions | |
unsigned_statistics_copy () | |
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.)
typedef std::map<const char*, unsigned, char_ptr_less_than> spot::unsigned_statistics_copy::stats_map |
spot::unsigned_statistics_copy::unsigned_statistics_copy | ( | const unsigned_statistics & | o | ) | [inline] |
References seteq().
bool spot::unsigned_statistics_copy::operator!= | ( | const unsigned_statistics_copy & | o | ) | const [inline] |
bool spot::unsigned_statistics_copy::operator== | ( | const unsigned_statistics_copy & | o | ) | const [inline] |
References stats.
bool spot::unsigned_statistics_copy::seteq | ( | const unsigned_statistics & | o | ) | [inline] |
References spot::unsigned_statistics::stats, and stats.
Referenced by unsigned_statistics_copy().
Referenced by operator==(), and seteq().