spot
0.9.1
|
#include <map>
#include <list>
#include <iosfwd>
#include <bdd.h>
#include "misc/optionmap.hh"
#include "tgba/state.hh"
#include "emptiness_stats.hh"
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 | |
namespace | spot |
Functions | |
std::ostream & | spot::print_tgba_run (std::ostream &os, const tgba *a, const tgba_run *run) |
Display a tgba_run. | |
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). |