-
Alexandre Duret-Lutz authored
states visited to compute the prefix and those for the cycle. * src/tgbaalgos/gv04.cc, src/tgbaalgos/ndfs_result.hxx, src/tgbaalgos/gtec/ce.cc: Adjust. * src/tgbatest/randtgba.cc: Print both statistics.
8f0135eb
To find the state of this project's repository at the time of any of these versions, check out the tags.