|
spot
2.3.3.dev
|
Accepting Cycle Search Space statistics. More...
#include <spot/twaalgos/emptiness_stats.hh>


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 | |
| virtual unsigned | acss_states () const =0 |
| Number of states in the search space for the accepting cycle. More... | |
| 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 |
Accepting Cycle Search Space statistics.
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.
|
pure virtual |
Number of states in the search space for the accepting cycle.
Implemented in spot::couvreur99_check_result.
1.8.13