#include <tgbaalgos/emptiness_stats.hh>
Inheritance diagram for spot::acss_statistics:
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 | |
acss_statistics () | |
virtual | ~acss_statistics () |
virtual unsigned | acss_states () const=0 |
Number of states in the search space for the accepting cycle. | |
void | inc_ars_prefix_states () |
unsigned | ars_prefix_states () const |
void | inc_ars_cycle_states () |
unsigned | ars_cycle_states () const |
unsigned | get (const char *str) const |
Public Attributes | |
stats_map | stats |
Implementations of spot::emptiness_check_result may also implement this interface. Try to dynamic_cast the spot::emptiness_check_result pointer to know whether these statistics are available.
typedef unsigned(unsigned_statistics::*) spot::unsigned_statistics::unsigned_fun() const [inherited] |
typedef std::map<const char*, unsigned_fun, char_ptr_less_than> spot::unsigned_statistics::stats_map [inherited] |
spot::acss_statistics::acss_statistics | ( | ) | [inline] |
virtual spot::acss_statistics::~acss_statistics | ( | ) | [inline, virtual] |
virtual unsigned spot::acss_statistics::acss_states | ( | ) | const [pure virtual] |
Number of states in the search space for the accepting cycle.
Implemented in spot::couvreur99_check_result.
void spot::ars_statistics::inc_ars_prefix_states | ( | ) | [inline, inherited] |
unsigned spot::ars_statistics::ars_prefix_states | ( | ) | const [inline, inherited] |
void spot::ars_statistics::inc_ars_cycle_states | ( | ) | [inline, inherited] |
unsigned spot::ars_statistics::ars_cycle_states | ( | ) | const [inline, inherited] |
unsigned spot::unsigned_statistics::get | ( | const char * | str | ) | const [inline, inherited] |
stats_map spot::unsigned_statistics::stats [inherited] |