• Alexandre Duret-Lutz's avatar
    reachiter: fix the DFS, and add a version with on_stack() · 29bc087d
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/reachiter.hh, src/tgbaalgos/reachiter.cc: Fix the
    tgba_reachable_iterator_depth_first implementation by not making
    inheriting from tgba_reachable_iterator.  Add a
    tgba_reachable_iterator_depth_first_stack
    * src/tgbatest/sim.test, src/tgbatest/dstar.test: Adjust.
    29bc087d