• Alexandre Duret-Lutz's avatar
    org: add example of LTL->BA translation · e7f5af6c
    Alexandre Duret-Lutz authored
    This addresses one item in #14.
    
    * doc/org/tut10.org: New file.
    * doc/Makefile.am: Add it.
    * src/twaalgos/translate.hh: Fix inclusion of types from
    postprocessor.
    * wrap/python/spot.py (translate): Fix typo in doc string.
    e7f5af6c
spot.py 18.7 KB