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

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

const tgba* spot::couvreur99_check_status::aut
 

const state* spot::couvreur99_check_status::cycle_seed
 

numbered_state_heap* spot::couvreur99_check_status::h
 

Heap of visited states.

scc_stack spot::couvreur99_check_status::root
 


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