23 #ifndef SPOT_TAALGOS_EMPTINESSTA_HH
24 # define SPOT_TAALGOS_EMPTINESSTA_HH
38 typedef std::pair<spot::state*, ta_succ_iterator_product*> pair_state_iter;
113 check(
bool disable_second_pass =
false,
114 bool disable_heuristic_for_livelock_detection =
false);
124 virtual std::ostream&
163 #endif // SPOT_TAALGOS_EMPTINESSTA_HH