Accepting Cycle Search Space statistics.
More...
#include <tgbaalgos/emptiness_stats.hh>
Inheritance diagram for spot::acss_statistics:
[legend]Collaboration diagram for spot::acss_statistics:
[legend]List of all members.
Detailed Description
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.
Member Typedef Documentation
Constructor & Destructor Documentation
spot::acss_statistics::acss_statistics |
( |
|
) |
[inline] |
|
Member Function Documentation
virtual unsigned spot::acss_statistics::acss_states |
( |
|
) |
const [pure virtual] |
|
unsigned spot::ars_statistics::ars_cycle_states |
( |
|
) |
const [inline, inherited] |
|
unsigned spot::ars_statistics::ars_prefix_states |
( |
|
) |
const [inline, inherited] |
|
unsigned spot::unsigned_statistics::get |
( |
const char * |
str |
) |
const [inline, inherited] |
|
void spot::ars_statistics::inc_ars_cycle_states |
( |
|
) |
[inline, inherited] |
|
void spot::ars_statistics::inc_ars_prefix_states |
( |
|
) |
[inline, inherited] |
|
Member Data Documentation
The documentation for this class was generated from the following file:
Please comment this page and report errors about it on
the RefDocComments page.
Generated on Fri Apr 8 21:19:28 2005 for spot by
1.4.0