spot
1.0
|
#include <iosfwd>
#include <set>
#include <vector>
#include "tgba/public.hh"
#include "tgbaalgos/scc.hh"
Go to the source code of this file.
Classes | |
struct | spot::sccs_set |
Namespaces | |
namespace | spot |
Functions | |
std::vector< std::vector < sccs_set * > > * | spot::find_paths (tgba *a, const scc_map &m) |
unsigned | spot::max_spanning_paths (std::vector< sccs_set * > *paths, scc_map &m) |
std::list< tgba * > | spot::split_tgba (tgba *a, const scc_map &m, unsigned split_number) |