• Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/gtec/status.hh · abbd0eee
    Alexandre Duret-Lutz authored
    (couvreur99_check_status::cycle_seed): New attribute.
    * src/tgbaalgos/gtec/gtec.cc (couvreur99_check::check,
    couvreur99_check_shy::check): Fill cycle_seed.
    * src/tgbaalgos/gtec/ce.hh, src/tgbaalgos/gtec/ce.cc:
    (couvreur99_check_result::accepting_run,
    couvreur99_check_result::accepting_cycle): Revamp to compute a
    cycle from the cycle_start, and then the shortest prefix to this
    cycle.
    abbd0eee
To find the state of this project's repository at the time of any of these versions, check out the tags.