Support for exclusive AP
It would be nice to have an way to declare APs that are exclusive, and use that to simplify the resulting automaton.
Set also http://lists.lrde.epita.fr/pipermail/spot/2020q3/000293.html
It would be nice to have an way to declare APs that are exclusive, and use that to simplify the resulting automaton.
Set also http://lists.lrde.epita.fr/pipermail/spot/2020q3/000293.html