spot
0.8.1
|
#include <map>
#include <stack>
#include <vector>
#include "tgba/tgba.hh"
#include <iosfwd>
#include "misc/hash.hh"
#include "misc/bddlt.hh"
Go to the source code of this file.
Classes | |
struct | spot::scc_stats |
class | spot::scc_map |
Build a map of Strongly Connected components in in a TGBA. More... | |
struct | spot::scc_map::scc |
Namespaces | |
namespace | spot |
Functions | |
scc_stats | spot::build_scc_stats (const tgba *a) |
scc_stats | spot::build_scc_stats (const scc_map &m) |
std::ostream & | spot::dump_scc_dot (const tgba *a, std::ostream &out, bool verbose=false) |
std::ostream & | spot::dump_scc_dot (const scc_map &m, std::ostream &out, bool verbose=false) |