19 #ifndef SPOT_FASTTGBAALGOS_LBTT_DFS_HH
20 # define SPOT_FASTTGBAALGOS_LBTT_DFS_HH
24 #include "generic_dfs.hh"
54 std::ostringstream oss;
58 #endif // SPOT_FASTTGBAALGOS_LBTT_DFS_HH
Definition: fasttgba.hh:33
This class act as an interface for all classes.
Definition: fasttgba_state.hh:30
Definition: lbtt_dfs.hh:31
Iterate over the successors of a state.
Definition: fasttgba_succ_iterator.hh:35
Definition: generic_dfs.hh:28