-
Alexandre Duret-Lutz authored
(explicit_connected_component_factory, connected_component_hash_set_factory): New classes. (counter_example::counter_example): Take an explicit_connected_component_factory factory argument. * src/tgbaalgos/emptinesscheck.cc: Adjust.
7305dbb6