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
Emptiness-check statistics.
Definition: emptiness_stats.hh:121
Common interface to emptiness check algorithms.
Definition: emptiness.hh:133
Manage a map of options.
Definition: optionmap.hh:37
A version of spot::couvreur99_check that tries to visit known states first.
Definition: gtec.hh:194
An implementation of the Couvreur99 emptiness-check algorithm.
Definition: gtec.hh:149
SPOT_API emptiness_check * couvreur99(const tgba *a, option_map options=option_map(), const numbered_state_heap_factory *nshf=numbered_state_heap_hash_map_factory::instance())
Check whether the language of an automate is empty.
Abstract class for states.
Definition: state.hh:40
unsigned removed_components
Number of dead SCC removed by the algorithm.
Definition: gtec.hh:185
Abstract factory for numbered_state_heap.
Definition: nsheap.hh:101
bool poprem_
Whether to store the state to be removed.
Definition: gtec.hh:183
The status of the emptiness-check on success.
Definition: status.hh:38
The result of an emptiness check.
Definition: emptiness.hh:77
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67
static const numbered_state_heap_hash_map_factory * instance()
Get the unique instance of this class.
bool group_
Whether successors should be grouped for states in the same SCC.
Definition: gtec.hh:246