21 #ifndef SPOT_TGBAALGOS_CUTSCC_HH
22 # define SPOT_TGBAALGOS_CUTSCC_HH
26 #include "tgba/tgba.hh"
27 #include "tgbaalgos/scc.hh"
33 std::set<unsigned> sccs;
37 SPOT_API std::vector<std::vector<sccs_set* > >*
41 max_spanning_paths(std::vector<sccs_set* >* paths,
scc_map& m);
43 SPOT_API std::list<tgba*>
44 split_tgba(
tgba* a,
const scc_map& m,
unsigned split_number);
48 #endif // SPOT_TGBAALGOS_CUTSCC_HH