19 #ifndef SPOT_FASTTGBAALGOS_STATS_DFS_HH
20 # define SPOT_FASTTGBAALGOS_STATS_DFS_HH
23 #include "misc/hash.hh"
24 #include "fasttgba/fasttgba.hh"
25 #include "generic_dfs.hh"
59 #endif // SPOT_FASTTGBAALGOS_STATS_DFS_HH
Definition: fasttgba.hh:33
This class act as an interface for all classes.
Definition: fasttgba_state.hh:30
Definition: stats_dfs.hh:32
Iterate over the successors of a state.
Definition: fasttgba_succ_iterator.hh:35
Definition: generic_dfs.hh:28