|
spot
2.1
|
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.)
1.8.8