spot  1.2.6
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Public Attributes | List of all 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

Public Member Functions

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

Public Attributes

const tgbaaut
 
scc_stack root
 
numbered_state_heaph
 Heap of visited states. More...
 
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.

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

numbered_state_heap* spot::couvreur99_check_status::h

Heap of visited states.


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sat Dec 6 2014 12:28:44 for spot by doxygen 1.8.4