Skip to content
  • Alexandre Duret-Lutz's avatar
    * iface/gspn/eesrg.cc (format_state): Do not rewrite n's, · 9297d6dd
    Alexandre Duret-Lutz authored
    just strip the last one.  Escaping must be done at output.
    * iface/gspn/gspm.cc (format_state): Likewise.
    * src/misc/escape.hh, src/misc/escape.cc: New files.
    * src/misc/Makefile.am: Add them.
    * src/tgba/bddprint.cc (bdd_format_accset): New function.
    * src/tgba/bddprint.hh (bdd_format_accset): New function.
    * src/tgbaalgos/dotty.cc (dotty_bfs::process_state):
    Escape the state name using escape_str().
    (dotty_bfs::process_link): Escape conditions and acceptance
    conditions using escape_str().
    * src/tgbaalgos/save.cc (save_bfs::start): Call print_acc().
    (save_bfs::print_acc): New function extracted from save_bfs::start().
    Escape each acceptance condition.
    (save_bfs::process_state): Use escape_str() and print_acc()
    9297d6dd