Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/emptinesscheck.hh · 7305dbb6
    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
To find the state of this project's repository at the time of any of these versions, check out the tags.