spot  1.1.4
Classes | Namespaces | Functions
emptiness.hh File Reference
#include <map>
#include <list>
#include <iosfwd>
#include <bdd.h>
#include "misc/optionmap.hh"
#include "tgba/state.hh"
#include "emptiness_stats.hh"
Include dependency graph for emptiness.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  spot::emptiness_check_result
 The result of an emptiness check. More...
 
class  spot::emptiness_check
 Common interface to emptiness check algorithms. More...
 
class  spot::emptiness_check_instantiator
 
struct  spot::tgba_run
 An accepted run, for a tgba. More...
 
struct  spot::tgba_run::step
 

Namespaces

 spot
 

Functions

std::ostream & spot::print_tgba_run (std::ostream &os, const tgba *a, const tgba_run *run)
 Display a tgba_run. More...
 
tgba * spot::tgba_run_to_tgba (const tgba *a, const tgba_run *run)
 Return an explicit_tgba corresponding to run (i.e. comparable states are merged). More...
 

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Jul 29 2013 00:27:25 for spot by doxygen 1.8.4