#include <tgbaalgos/emptiness_stats.hh>
Inheritance diagram for spot::acss_statistics:
Public Member Functions | |
virtual int | acss_states () const =0 |
Number of states in the search space for the accepting cycle. |
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.
|
Number of states in the search space for the accepting cycle.
Implemented in spot::couvreur99_check_result. |