cutscc.hh
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022 #ifndef SPOT_TGBAALGOS_CUTSCC_HH
00023 # define SPOT_TGBAALGOS_CUTSCC_HH
00024
00025 #include <iosfwd>
00026 #include <set>
00027 #include <vector>
00028 #include "tgba/public.hh"
00029 #include "tgbaalgos/scc.hh"
00030
00031 namespace spot
00032 {
00033 struct sccs_set
00034 {
00035 std::set<unsigned> sccs;
00036 unsigned size;
00037 };
00038
00039 std::vector<std::vector<sccs_set* > >* find_paths(tgba* a, const scc_map& m);
00040 unsigned max_spanning_paths(std::vector<sccs_set* >* paths, scc_map& m);
00041 std::list<tgba*> split_tgba(tgba* a, const scc_map& m,
00042 unsigned split_number);
00043
00044 }
00045
00046 #endif // SPOT_TGBAALGOS_CUTSCC_HH