23 #ifndef SPOT_TGBAALGOS_GTEC_GTEC_HH
24 # define SPOT_TGBAALGOS_GTEC_GTEC_HH
28 #include "tgbaalgos/emptiness.hh"
29 #include "tgbaalgos/emptiness_stats.hh"
94 SPOT_API emptiness_check*
141 option_map options = option_map(),
142 const numbered_state_heap_factory* nshf
161 virtual std::ostream& print_stats(std::ostream& os)
const;
180 void remove_component(
const state* start_delete);
186 unsigned get_removed_components()
const;
187 unsigned get_vmsize()
const;
224 typedef std::list<successor> succ_queue;
227 succ_queue::iterator pos;
237 typedef std::list<todo_item> todo_list;
243 void dump_queue(std::ostream& os = std::cerr);
263 virtual numbered_state_heap::state_index_p find_state(
const state* s);
270 #endif // SPOT_TGBAALGOS_GTEC_GTEC_HH