23 #ifndef SPOT_TGBAALGOS_GTEC_SCCSTACK_HH
24 # define SPOT_TGBAALGOS_GTEC_SCCSTACK_HH
28 #include <tgba/state.hh>
48 std::list<const state*> rem;
67 std::list<const state*>& rem();
77 typedef std::list<connected_component> stack_type;
82 #endif // SPOT_TGBAALGOS_GTEC_SCCSTACK_HH
Definition: sccstack.hh:34
int index
Index of the SCC.
Definition: sccstack.hh:43
bdd condition
Definition: sccstack.hh:46
Definition: sccstack.hh:37