• Alexandre Duret-Lutz's avatar
    ltlvisit: merge lbt.hh into tostring.hh · aedce810
    Alexandre Duret-Lutz authored
    Fixes #86.
    
    * src/ltlvisit/lbt.hh, src/ltlvisit/lbt.cc: Delete and move contents
    into...
    * src/ltlvisit/tostring.hh, src/ltlvisit/tostring.cc: ... these.
    * doc/org/tut01.org, src/bin/common_output.cc,
    src/bin/common_trans.cc, src/bin/ltlcross.cc,
    src/ltlvisit/Makefile.am, src/twaalgos/lbtt.cc,
    wrap/python/spot_impl.i: Adjust.
    aedce810
tut01.org 6.38 KB