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

spot::emptiness_check_status Class Reference

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

#include <status.hh>

Collaboration diagram for spot::emptiness_check_status:

Collaboration graph
[legend]
List of all members.

Public Member Functions

 emptiness_check_status (const tgba *aut, const numbered_state_heap_factory *nshf)
 ~emptiness_check_status ()
void print_stats (std::ostream &os) const
 Output statistics about this object.


Public Attributes

const tgbaaut
scc_stack root
numbered_state_heaph
 Heap of visited states.


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::emptiness_check_status::emptiness_check_status const tgba aut,
const numbered_state_heap_factory nshf
 

spot::emptiness_check_status::~emptiness_check_status  ) 
 


Member Function Documentation

void spot::emptiness_check_status::print_stats std::ostream &  os  )  const
 

Output statistics about this object.


Member Data Documentation

const tgba* spot::emptiness_check_status::aut
 

numbered_state_heap* spot::emptiness_check_status::h
 

Heap of visited states.

scc_stack spot::emptiness_check_status::root
 


The documentation for this class was generated from the following file:
Generated on Tue Jun 29 17:02:02 2004 for spot by doxygen 1.3.7