Accepting Run Search statistics.
More...
#include <tgbaalgos/emptiness_stats.hh>
Inheritance 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.
Constructor & Destructor Documentation
spot::ars_statistics::ars_statistics |
( |
|
) |
[inline] |
|
Member Function Documentation
int spot::ars_statistics::ars_cycle_states |
( |
|
) |
const [inline] |
|
int spot::ars_statistics::ars_prefix_states |
( |
|
) |
const [inline] |
|
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 Mon Jan 31 12:55:48 2005 for spot by
1.4.0