-
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