Let 'a' be a default for --dot
Since we support acceptance conditions that are more complex that the generalized-Büchi acceptance we used to support (pre 2.0), it makes more sense to always display the acceptance condition of the automaton. Having to pass a
to the print_dot()
function or to the --dot
option is quite tedious.
In Spot 2.4, we introduced option A
as the negation of a
, so in Spot 2.6 it should be safe to change print_dot()
so that a
is now the default. Users who focus on Büchi or generalized-Büchi and do not care about the acceptance condition can start to use A
and be backward-compatible down to 2.4.