-
Alexandre Duret-Lutz authored
arguments. * src/tgbaalgos/neverclaim.cc (never_claim_bfs::state_is_accepting): New method. (never_claim_bfs::get_state_label, never_claim_bfs::process_state): Use it.
2f84bee4
To find the state of this project's repository at the time of any of these versions, check out the tags.