Skip to content
  • Alexandre Duret-Lutz's avatar
    lbtt 1.1.0 supports TGBAs, use that and remove old workarounds. · 3b856466
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/lbtt.cc (state_acc_pair, state_acc_pair_equal,
    state_acc_pair_hash, acp_seen_map, todo_set, seen_map, fill_todo
    lbtt_reachable): Remove.
    (nonacceptant_lbtt_bfs): Rename as ...
    (lbtt_bfs): ... this, and adjust to output acceptance conditions
    on transitions.
    (nonacceptant_lbtt_reachable): Rename as ...
    (lbtt_reachable): ... this.
    * src/tgbaalgos/lbtt.hh (nonacceptant_lbtt_reachable): Delete.
    * src/tgbatest/ltl2tgba.cc: Suppress option "-T".
    3b856466
To find the state of this project's repository at the time of any of these versions, check out the tags.