spot::unsigned_statistics_copy Class Reference
[Emptiness-check statistics]

comparable statistics More...

#include <tgbaalgos/emptiness_stats.hh>

List of all members.

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

---

Detailed Description

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.)

---

Member Typedef Documentation

typedef std::map<const char*, unsigned, char_ptr_less_than> spot::unsigned_statistics_copy::stats_map

---

Constructor & Destructor Documentation

spot::unsigned_statistics_copy::unsigned_statistics_copy

(

)

[inline]

spot::unsigned_statistics_copy::unsigned_statistics_copy

(

const unsigned_statistics &

o

)

[inline]

---

Member Function Documentation

bool spot::unsigned_statistics_copy::seteq

(

const unsigned_statistics &

o

)

[inline]

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]

---

Member Data Documentation

stats_map spot::unsigned_statistics_copy::stats

bool spot::unsigned_statistics_copy::set

---

The documentation for this class was generated from the following file:

• tgbaalgos/emptiness_stats.hh

---

Please comment this page and report errors about it on the RefDocComments page.