-
Alexandre Duret-Lutz authored
(tgba::number_of_acceptance_conditions): New method. * src/tgbaalgos/lbtt.cc (lbtt_bfs::lbtt_bfs): Use it.
d60025dc
To find the state of this project's repository at the time of any of these versions, check out the tags.