-
Alexandre Duret-Lutz authored
* src/tgbaalgos/lbtt.cc (fill_todo): Add the 'first' argument to designate initial states. (lbtt_reachable): Adjust calls to fill_todo. Handle the fake initial state accepting conditions specially. * src/tgbaalgos/lbtt.hh: Update comments.
2a8b1b74
To find the state of this project's repository at the time of any of these versions, check out the tags.