Skip to content
  • Alexandre Duret-Lutz's avatar
    randomize: new function · c0e98912
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/randomize.cc, src/tgbaalgos/randomize.hh: New files.
    * src/tgbaalgos/Makefile.am: Add them.
    * src/graph/graph.hh (rename_states_): New method.
    * src/bin/autfilt.cc: Add options --randomize and --seed.
    * src/tgbatest/randomize.test: Test them.
    * src/tgbatest/Makefile.am: Add randomize.test.
    * NEWS: Mention randomize().
    c0e98912
To find the state of this project's repository at the time of any of these versions, check out the tags.