Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/emptinesscheck.hh · 636f5238
    Alexandre Duret-Lutz authored
    (emptiness_check::remove_component, emptiness_check::root_component,
    emptiness_check::seen_state_num, emptiness_check::suffix): Move in
    private part.
    (emptiness_check::arc_accepting, emptiness_check::todo): Move ...
    * src/tgbaalgos/emptinesscheck.cc
    (emptiness_check::tgba_emptiness_check): ... as local variables
    of this function.
    * src/tgbaalgos/emptinesscheck.hh (emptiness_check::vec_component):
    Move ...
    (emptiness_check::counter_example): ... as local variable of this
    function.
    * src/tgbaalgos/emptinesscheck.hh (pair_state_iter, triplet):
    Move ...
    * src/tgbaalgos/emptinesscheck.cc (pair_state_iter, triplet):
    ... here.
    636f5238
To find the state of this project's repository at the time of any of these versions, check out the tags.