spot  0.8.3
Public Member Functions | Public Attributes
spot::couvreur99_check_status Class Reference

The status of the emptiness-check on success. More...

#include <tgbaalgos/gtec/status.hh>

Collaboration diagram for spot::couvreur99_check_status:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 couvreur99_check_status (const tgba *aut, const numbered_state_heap_factory *nshf)
 ~couvreur99_check_status ()
void print_stats (std::ostream &os) const
 Output statistics about this object.
int states () const
 Return the number of states visited by the search.

Public Attributes

const tgbaaut
scc_stack root
numbered_state_heaph
 Heap of visited states.
const statecycle_seed

Detailed Description

The status of the emptiness-check on success.

This contains everything needed to construct a counter-example: the automata, the stack of SCCs traversed by the counter-example, and the heap of visited states with their indexes.


Constructor & Destructor Documentation


Member Function Documentation

void spot::couvreur99_check_status::print_stats ( std::ostream &  os) const

Output statistics about this object.

Return the number of states visited by the search.


Member Data Documentation

Heap of visited states.


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 Mar 9 2012 13:52:11 for spot by doxygen 1.7.6.1