Commit 9444d84a authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/tgbaalgos/ (never_claim_bfs::process_link):

Adjust prototype.
parent d60025dc
2004-11-04 Alexandre Duret-Lutz <>
* src/tgbaalgos/ (never_claim_bfs::process_link):
Adjust prototype.
* src/tgba/tgba.hh, src/tgba/
(tgba::number_of_acceptance_conditions): New method.
* src/tgbaalgos/ (lbtt_bfs::lbtt_bfs): Use it.
......@@ -158,7 +158,8 @@ namespace spot
process_link(int in, int out, const tgba_succ_iterator* si)
process_link(const state*, int in, const state*, int out,
const tgba_succ_iterator* si)
if (in != accept_all_)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment