Skip to content
  • Alexandre Duret-Lutz's avatar
    new transformation from Fin-less to TGBA · e589e208
    Alexandre Duret-Lutz authored
    Fixes #72.
    * src/tgbaalgos/, src/tgbaalgos/totgba.hh: New files.
    * src/tgbaalgos/ Add them.
    * src/tgbaalgos/, src/tgbaalgos/postproc.hh: Add
    a Generic output type, and call to_generalized_buchi() if
    this type is not selected.
    * src/tgbatest/remfin.test: Add some tests.
    * src/bin/ Add a --generic option, and set it
    by default.