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

spot::couvreur99_check_status::couvreur99_check_status ( const tgba aut,
const numbered_state_heap_factory nshf 
)
spot::couvreur99_check_status::~couvreur99_check_status (  ) 

Member Function Documentation

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

Output statistics about this object.

int spot::couvreur99_check_status::states (  )  const

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 Apr 16 09:43:44 2010 for spot by doxygen 1.6.3