-
Alexandre Duret-Lutz authored
spot::tgba::succ_iter, and spot::tgba_succ_iterator::current_state as constructors.
01cc802c
To find the state of this project's repository at the time of any of these versions, check out the tags.
spot::tgba::succ_iter, and spot::tgba_succ_iterator::current_state as constructors.