Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/emptiness_stats.hh: Make sure depth() >= 0. · 7bba6dc6
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/gtec/gtec.hh (couvreur99_check, couvreur99_check_shy):
    Add the poprem option.
    * src/tgbaalgos/gtec/gtec.cc: Implement it.
    * src/tgbaalgos/gtec/sccstack.cc, src/tgbaalgos/gtec/sccstack.hh
    (scc_stack::rem, scc_stack::clear_rem,
    scc_stack::connected_component::rem): New.
    * src/tgbatest/ltl2tgba.cc, src/tgbatest/randtgba.cc: Add rem variants.
    7bba6dc6
To learn more about this project, read the wiki.