22 #ifndef SPOT_TGBAALGOS_SCC_DECOMPOSE_HH
23 # define SPOT_TGBAALGOS_SCC_DECOMPOSE_HH
25 #include "tgba/tgba.hh"
26 #include "tgbaalgos/scc.hh"
27 #include "tgbaalgos/sccfilter.hh"
41 const tgba* terminal_;
48 src_(a), minimize (minimize)
74 terminal_automaton ();
108 void decompose_strong();
110 void decompose_weak();
112 void decompose_terminal();
116 #endif // SPOT_TGBAALGOS_SCC_DECOMPOSE_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
void build_map()
Actually compute the graph of strongly connected components.
Definition: scc_decompose.hh:33
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67
Build a map of Strongly Connected components in in a TGBA.
Definition: scc.hh:70