• Alexandre Duret-Lutz's avatar
    tba_determinize: add a cycle_threshold · 63b7cdb6
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/powerset.cc, src/tgbaalgos/powerset.hh
    (tba_determinize, tba_determinize_check): Add a cycle_threshold
    argument.
    * src/tgbaalgos/postproc.cc: Use it.
    * src/tgbatest/ltl2tgba.cc: Adjust calls.
    63b7cdb6