Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

spot::acss_statistics Class Reference
[Emptiness-check statistics]

Accepting Cycle Search Space statistics. More...

#include <tgbaalgos/emptiness_stats.hh>

Inheritance diagram for spot::acss_statistics:

Inheritance graph
[legend]
List of all members.

Public Member Functions

virtual int acss_states () const =0
 Number of states in the search space for the accepting cycle.

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 Function Documentation

virtual int spot::acss_statistics::acss_states  )  const [pure virtual]
 

Number of states in the search space for the accepting cycle.

Implemented in spot::couvreur99_check_result.


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:47 2005 for spot by doxygen 1.4.0