Accepting Run Search statistics.
More...
#include <tgbaalgos/emptiness_stats.hh>
Inheritance diagram for spot::ars_statistics:
[legend]Collaboration diagram for spot::ars_statistics:
[legend]List of all members.
Detailed Description
Accepting Run Search 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::ars_statistics::ars_statistics |
( |
|
) |
[inline] |
|
Member Function Documentation
unsigned spot::ars_statistics::ars_cycle_states |
( |
|
) |
const [inline] |
|
unsigned spot::ars_statistics::ars_prefix_states |
( |
|
) |
const [inline] |
|
unsigned spot::unsigned_statistics::get |
( |
const char * |
str |
) |
const [inline, inherited] |
|
void spot::ars_statistics::inc_ars_cycle_states |
( |
|
) |
[inline] |
|
void spot::ars_statistics::inc_ars_prefix_states |
( |
|
) |
[inline] |
|
Member Data Documentation
|
states visited to construct the prefix
|
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 Wed Jan 25 14:56:52 2006 for spot by
1.4.0