19 #ifndef SPOT_FASTTGBAALGOS_GENERIC_DFS_HH
20 # define SPOT_FASTTGBAALGOS_GENERIC_DFS_HH
23 #include "misc/hash.hh"
24 #include "fasttgba/fasttgba.hh"
43 virtual void start() = 0;
45 virtual void end() = 0;
57 std::stack<const fasttgba_state*>
68 #endif // SPOT_FASTTGBAALGOS_GENERIC_DFS_HH
Definition: fasttgba.hh:33
This class act as an interface for all classes.
Definition: fasttgba_state.hh:30
Iterate over the successors of a state.
Definition: fasttgba_succ_iterator.hh:35
Definition: fasttgba_state.hh:76
Definition: fasttgba_state.hh:88
std::stack< const fasttgba_state * > todo
A stack of states yet to explore.
Definition: generic_dfs.hh:58
Definition: generic_dfs.hh:28