Skip to content
  • Alexandre Duret-Lutz's avatar
    rename pg_print() as print_pg() and add it to to_str() · 8b93b696
    Alexandre Duret-Lutz authored
    * NEWS: Mention those change.
    * spot/twaalgos/game.hh (print_pg): New function.
    (pg_print): Mark as deprecated.
    * spot/twaalgos/game.cc (pg_print): Redirect to print_pg().
    (print_pg): Update to output state names.
    * python/spot/__init__.py: Teach to_str() about print_pg().
    * bin/ltlsynt.cc: Adjust to call print_pg().
    * tests/python/games.ipynb: Add an example.
    * tests/core/ltlsynt.test: Adjust to remove the "INIT" note.
    8b93b696
To find the state of this project's repository at the time of any of these versions, check out the tags.