factor automata output code in bin
autfilt
, randaut
, ltl2tgba
, and dstar2tgba
all implement a set of options to output the automaton in some format. Presently updating these options, for instance chaning --dot
to accept an optional argument, is a pain because it has to be done in all of these tools.
We should move all the relevant code into some common_aoutput.cc
file. The difficultly is that the set of output options varies slightly between tools.