27 #include <spot/twa/twa.hh> 47 std::list<const state*> rem;
66 std::list<const state*>& rem();
76 typedef std::list<connected_component> stack_type;
Definition: automata.hh:26
Definition: sccstack.hh:33
acc_cond::mark_t condition
Definition: sccstack.hh:45
int index
Index of the SCC.
Definition: sccstack.hh:42
Definition: sccstack.hh:36
An acceptance mark.
Definition: acc.hh:87