-
Alexandre Duret-Lutz authored
(counter_example::connected_component_set::has_state): Return a const state* and behave like h_filt. * src/tgbaalgos/emptinesscheck.cc: Adjust.
1ea3c2ce
(counter_example::connected_component_set::has_state): Return a const state* and behave like h_filt. * src/tgbaalgos/emptinesscheck.cc: Adjust.