Skip to content
  • Alexandre Duret-Lutz's avatar
    adjust names for automata printers · 738f939f
    Alexandre Duret-Lutz authored
    The following renamings are made:
    
      never_claim_reachable -> print_never_claim
      hoa_reachable   -> print_hoa
      lbtt_reachable  -> print_lbtt
      dotty_reachable -> print_dot
      ltl::dotty      -> print_dot_psl
    
    Fixes #89.
    
    * src/ltlvisit/dotty.cc, src/ltlvisit/dotty.hh, src/taalgos/dotty.cc,
    src/taalgos/dotty.hh src/twaalgos/dotty.cc, src/twaalgos/dotty.hh:
    Rename...
    * src/ltlvisit/dot.cc, src/ltlvisit/dot.hh src/taalgos/dot.cc,
    src/taalgos/dot.hh src/twaalgos/dot.cc, src/twaalgos/dot.hh:
    ... those.
    * bench/stutter/stutter_invariance_randomgraph.cc,
    iface/ltsmin/modelcheck.cc, src/bin/common_aoutput.cc,
    src/bin/dstar2tgba.cc, src/bin/ltl2tgta.cc, src/dstarparse/dra2ba.cc,
    src/ltlvisit/Makefile.am, src/taalgos/Makefile.am,
    src/tests/checkpsl.cc, src/tests/checkta.cc,
    src/tests/complementation.cc, src/tests/emptchk.cc,
    src/tests/ltl2tgba.cc, src/tests/ltlprod.cc, src/tests/randtgba.cc,
    src/tests/readltl.cc, src/tests/taatgba.cc, src/tests/twagraph.cc,
    src/twa/twa.hh, src/twa/twasafracomplement.cc,
    src/twaalgos/Makefile.am, src/twaalgos/dtbasat.cc,
    src/twaalgos/dtgbasat.cc, src/twaalgos/dupexp.cc,
    src/twaalgos/lbtt.cc, src/twaalgos/lbtt.hh,
    src/twaalgos/ltl2tgba_fm.cc, src/twaalgos/neverclaim.cc,
    src/twaalgos/neverclaim.hh, wrap/python/ajax/spot.in,
    wrap/python/spot.py, wrap/python/spot_impl.i,
    wrap/python/tests/ltl2tgba.py, wrap/python/tests/parsetgba.py: Adjust.
    738f939f