• Alexandre Duret-Lutz's avatar
    bin: factor common conversion functions · d9045d13
    Alexandre Duret-Lutz authored
    * src/bin/common_conv.cc, src/bin/common_conv.hh: New files.
    * src/bin/Makefile.am: Add them.
    * src/bin/autfilt.cc, src/bin/ltlcross.cc, src/bin/ltlfilt.cc,
    src/bin/ltlgrind.cc, src/bin/randaut.cc, src/bin/randltl.cc: Use them.
    d9045d13