Skip to content
  • Alexandre Duret-Lutz's avatar
    postproc: integrate tgba_determinize() · 8568c3b4
    Alexandre Duret-Lutz authored
    * spot/twa/acc.hh: Add a smaller version of is_parity().
    * spot/twaalgos/postproc.cc: Call tgba_determinize() if asked for
    Generic acceptance and Deterministic output.
    * bin/common_post.cc: Add 'G' as a shorthand for --generic.
    * doc/org/ltl2tgba.org: Illustrate =ltl2tgba -G -D=.
    8568c3b4