Skip to content
  • Alexandre Duret-Lutz's avatar
    ltldo: automatic renaming of AP · 259c9faa
    Alexandre Duret-Lutz authored
    * src/bin/ltldo.cc: Relabel formula and output automata as needed.
    * src/tgbaalgos/relabel.cc, src/tgbaalgos/relabel.hh: New files.
    * src/tgbaalgos/Makefile.am: Add them.
    * src/tgbatest/ltldo.test: Add some tests.
    * doc/org/ltldo.org: Document this.
    259c9faa