23 #ifndef SPOT_TAALGOS_EMPTINESSTA_HH
24 # define SPOT_TAALGOS_EMPTINESSTA_HH
26 #include "ta/taproduct.hh"
27 #include "misc/optionmap.hh"
28 #include "tgbaalgos/gtec/nsheap.hh"
29 #include "tgbaalgos/emptiness_stats.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&
125 print_stats(std::ostream& os)
const;
139 heuristic_livelock_detection(
const state * stuttering_succ,
147 bool is_full_2_pass_;
163 #endif // SPOT_TAALGOS_EMPTINESSTA_HH